Re #1542 translation settings menu item depends on the do translation flag in the messages.properties.