I see where you can select the editor to use when creating a Manager user, but there doesn’t appear to be an option of "none". I prefer working in raw HTML, but my partner likes the editors (the wimp! Real men code in binary

). So I need to have an editor enabled for the site, and have the documents set to use it.
Is it even possible to have an individual user set to use no editor? If it’s possible, I’ll work it out; but I don’t want to waste my time if it’s not possible.