Comment by ris

For a while I've been saying it's a pity we hadn't been regularly trusted-timestamping everything before that point as a matter of course.