Some configuration values are put in `backend_config.py`. It would be nice to switch to a better format, probably YAML.