chiark / gitweb /
check the user has not reorganised the table