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

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