Nits
Support disabled settings.

If the settinginfo record for a setting has disabled:true, then
don't allow changes to that setting, and sometimes display it as
disabled also.

And allow Opt[settinginfo_include] to define a list of JSON files
to be read and overlaid on top of the global settinginfo.