Hacker News Reader

This is a good point. Perhaps they meant to say "if approximately the upper half of p and q's bits are identical"?

That might make more sense. If you have two integers in the same approximate range you might expect the upper halves to look similar.