chiark / gitweb /
holetest: document actual hole sizes as found