minor
ref #7901: adapt taxeditor to changes in PreferencePredicates
smaller changes in preferences
ref #7922: add preference to save distribution editor factual data to their own fact
ref #7849: harmonize admin and local preferences for distribution editor and use drop down instead of radio buttons