Just wondering if anyone had any suggestions for good HTML (non-WYSIWYG or WYSIWYG that supports non-WYSIWYG) for Linux? Pros and cons would be great, and also whether they require KDE or Gnome (I run Gnome usually). Thanks! Jen