as well. It's used by many CMS packages as an option or as the default visual page editor. That includes Mambo, Joomla, Drupal, and the venerable Citadel
I've recently updated the TinyMCE plugin for Lucid to use TinyMCE 3.0.6, and I should be getting that posted to the repository Real Soon Now (once I have some more testing and feedback).
The license for TinyMCE is LGPL, so if you're looking seriously at licenses that's good to know.
ALl that said, HTMLArea I hear is pretty good, so don't let me dissuade you from it if it ends up being a better match for your needs.