Turning off WordPress’ visual editor

I was doing sometime that required custom XHTML and got sick 0f the way in which the Visual Editor was mangling my code so I went and turned it off. It’s not in the obvious place where I would expect it.Apparently, it’s a per user setting so you find the relevant tick box (check box in the U.S.) on the Your Profile page in the Users section on your administration dashboard. I would have expected it under Options > Writing but I suppose that they wanted to leave to choice to users without having some jobsworth administrator getting carried away with their limited authority. Speaking of Options > Writing, that’s where you can make the editing box bigger. Now, that might be another user setting… It’s hardly consistent, is it?