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
Обсуждение было заблокировано, поэтому на него нельзя больше отвечать.