chiark / gitweb /
check right thing in config_targets