Just mention the name. Who cares if you mention another board on this forum. It's not like anyone is going to flame you or call you a spammer. Right?
The only other boards I have seen that have done anything like this was UBB but all they do is have markup enabled and use javascript to insert flash, lists, ect..
The only problem I see with that example board is practicality.
What gets sent to the server?
Is it in markup or do you have to have HTML enabled?
What happens to those users who only want markup enabled for security reasons?
Is that the same HTML editor as the one on
this site?
Before anyone can consider making this part of a full release they should think about security, usability, ability for people with older versions to upgrade, loadtime, administrative control over what is and isn't allowed on a board, ect...
Personally, it looks like a waste of time since most people would be fascinated by the pretty buttons at first, but tire of it later and it would fall into disuse. If that code did originate at that link, then that tool was made to create webpages and not for posting text to a messageboard. Shouldn't posting to a board be about people's opinions on topics and not all the bells and whistles?
I'm too utilitarian to think about something like that as being practical. It looks fine and all, however it would be wrong to make that a standard. Enthusiasts will always want the bleeding edge, but normal users probably only want good speed, clear text, post icons in big, friendly letters, and easy navigation on the board.