ref #7063: better handling of preferences for distribution editor and other places
fix name editor menu for synonyms and misapplications
ref #6429: Internationalization of admin menu
ref #6429: adapt admin preferences to other preferences