Disable WYSIWYG totally completely permanently forever for WordPress. This repo is git-svn synced.