On my site I get different TinyMCE editors showing up in the profile comments area. There has to be some kind of conflict going on because I can refresh the same profile and get a different editor each time. This doesn't happen consistently though, it is random. There are always variations between profiles, they just don't always change on a page refresh.
If a dev wishes to see what is happening for themselves please let me know and I will give you access to whatever you need on my site.
I am using 7.01, but plan to upgrade soon.
(NOTE: I haven't been able to get anyone to confirm this as happening on their own site & the demo site has TinyMCE in profile comments disabled - so I can't confirm it that way either.)