The settings file should probably be deprecated though, since we don't use it anywhere else any more.