Is it OK that in the GUI (preferences.xml) it's out-of-alphabetical-order (at the bottom actually, to make it the least distraction to those not interested in german-language puzzles)?