chiark / gitweb /
normalize recorded filenames so files.py passes