Cinnamon Settings, themes, don't reload module after ExtensionCore is called