Obsolete source file -- command options are actually implemented in

a much less formalistic way.  Just keeping this around for possible
future reference.