via the wonders of the referrer log, i found mike which is nice because i then found a nice tutorial on embedding mozilla’s editor widget:

” Editor is a XUL widget that allows for WYSIWYG HTML editing. This allows developers to quickly add formatted editing to a XUL application. Unfortunately how to add editor to a XUL app is not well documented. “