; Put any default settings here that are overridable by users

