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.