Firefox plugin that provides a simple html wysiwyg editor