chiark / gitweb /
cleanup old names before creating the new names