Part of the intention is to avoid a proliferation of separate config files. I am planning to implement a suggestion of @peterflynn's though so that an extension can request a PreferencesSystem in which all of the keys are prefixed (they'd all begin with "jslint." in this case).