Reloading settings without restarting the GUI; global settings are now mutable, ouch!