We have enabled “No HTML TinyMCE” plugin. The plugin allows administrator to disable HTML tab view for individual user.
Upgrade has been completed/ Let me know if you have any problems. -scott