ref #8385: add allowOverride to AbcdProvider PreferencePage
ref #8385: smaller changes in preferences
ref #8385: fixes for preferences
ref #8256: add table of all status preferences in preference page