[revelation]

Well, it lists the key and says the first factor is 231. If you have a big enough calculator, this is trivial to verify.

[asciilifeform]

Author of 'phuctor' speaking.

I can only confirm that we have a key, downloaded from an SKS dump, said key purporting to belong to one Mr. Anvin, containing one sub-key being an RSA public key which turned out to be factorable with trivial effort.

Anything else is mere conjecture.