Renamed "Settings" to "Configuration" everywhere, also changed the
Google Drive location from the "settings" prefix to "config" prefix,
so all your configuration will be reset. Sorry! Hopefully this is the
last time to happen.