Provide for ad-hoc settings, not defined in user_settings. The
characteristics of such settings are specified by a the null user_settings
entry.

Repair the getters so they actually return the value!