Those are not technically preferences, and I don't think we should add them to the Preferences class.