chiark / gitweb /
db_... settings: rename file from assocdb_...