Quote from stardustrider
Ah, thanks for that. I had noticed it in the config file, but asked so that it could be left on by default for the 'uninformed' (stupid), and could be disabled in-game by those who don't need informing of its presence any more
No problem, and thanks for the suggestion. I'll look into a configuration GUI for ingame as soon as I can.