chiark / gitweb /
config reading: log correct filenames