try out a browser like lynx or w3m. with them, you can choose
which editor is used for textareas.
(this is one of the few things i miss with Opera.)
still, i would find it nice if one could choose the textarea
size in the user-settings.
(posted with w3m)