Sniffnoy comments on But Somebody Would Have Noticed

[Sniffnoy]

Ah, good point. I’d forgotten about that part. IIRC he first noted that and then expanded out the details to see where the problem was.