@kipit on WordPress.org
Mentioned in [5125] on WordPress SVN:Add rich editing checkbox to user-edit so that the setting isn't stomped.
