Just thought you guys should know that CKEditor 4 was released!
It's now capable of html5 inline editing and has a cool new skin and plugins repository. Might be worth an update:
http://ckeditor.com/demo#inline