It comes from the old htmlarea days when it didn't support webkit browsers, the html editor string currently says:

'Use HTML editor (some browsers only)'

It should not say 'some browsers only' because it supports all browsers we support:
http://www.tinymce.com/wiki.php/Browser_compatiblity

(It even supports mobile browsers we support)