Woah!
Such a simple fix, and it works beatifully.
Glad this has been added to the codex, that way some headaches will be saved 😉
Thanks Alex, and great work with the plugins (I use quite a few that you have built)
Have a good day!
Quick note: make sure you go to your profile, and see if the top checkbox is ticked ( disable the visual/html editor)