ckeditor plugin vs tinymce editor plugin

Hello,

please advice which one is better, more stable, more easy (documented) to use - based on your experience. And if you which editor is being used on this jquery forum page?

thank you.
Rajeev