Issue #302: Rename the Management menu to Administration menu.