sof 2002/10/01 08:21:53 PDT Added files: docs options.txt Log: Documentation for options not covered by the existing user's manual. Not even halfway there; feel free to document options that you added and/or have ownership of.