A bit of options.js and settings.js maintenance/simplification.