Perhaps it is because I don't use the HTML editor but when I edit the wiki there is a small + at the right-hand side of the text entry area that allows you to double the size of the entry box.
Wiki
larger editing box please
This discussion has been locked so you can no longer reply to it.