devilry_settings.log: Simplified to just use stderr.