smaller changes in preferences
ref #7849: continue adapt db and local preference pages
ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences
ref #7922: add preference to save distribution editor factual data to their own fact
ref #7849: do not save preferences if page was not edited
ref #7849: harmonize admin and local preferences for distribution editor and use drop down instead of radio buttons