Hello,
I've stumbled upon an unexpected behaviour of get-option and related
functions. By default the options are converted to lower case.
However, if a config file is read by read-files, the case is not
converted and the options become inaccessible. The bug must be due to
the code of %get-option, where %validate-option-name receives
option-name rather than norm-option.
Best regards,
S. Kondratyev.