Look, this is probably stupid, but would it hurt anything badly to
have config also accept "option" as synonymous with "options"?
This would allow us tab freaks to add and remove #'s without having
options suddenly need to be reindented.  :)

-s