Killed admin-themeoptions.php

Theme options pages are inappropriate. Anything complex enough to need
such a thing should be a plugin.