Subject: Re: "FOO" BAR
To: None <seebs@solutions.solon.com>
From: Charles M. Hannum <mycroft@ai.mit.edu>
List: current-users
Date: 01/21/1995 11:26:33
   What is the distinction between values which are done with
   options "XXX"
   and 
   options YYY
   ?
   Is it that the ""'d ones have digits in them, or is it more sinister?

With config.new(8), there is no difference.  The parser in config(8)
was stupid, and needed the quotes in some cases to avoid mis-parsing
the option.