[Nicolas]

Hi there,

Since I see a lot of activity about Tiny MCE recently and I needed such a plugin myself, I have created a simple Tiny MCE integration:

http://www.longwindyroad.com/2009/07/19/bbpress-plugin-tiny-mce-3-2-5/

It installs all the necessary hooks in once place and is easy to upgrade.