chiark / gitweb /
size-tests - rename, for manual processing