Just wondering; has anyone figured out how to do rich text editing in other browsers, i.e. Opera?[Objective]

http://www.google.com/search?hl=en&lr=&ie=UTF-8&oe=UTF-8&q=Opera+rich+text+edit+&btnG=Google+Search

returned a couple of java applets that claim to do this.