chiark / gitweb /
nightly: only use read_config to load final, generated config.py