2033: Preferences menu is too big
ignore generated preferences.xml in git
Merge remote-tracking branch 'origin/master'