config file contains mirrors (not read by mirror_manager.py yet), small cleanups, ...