settings are locate IMHO. Where else would those general configuration
options go, if you eradicate the settings menu item? Is it that easy?
Maybe one level up.
But now I am joining Ber Kessels, 'cos he has good ideas, with a far wider
horizont than I do...
