About the supposed factoring of a 4096 bit RSA key | Dark Hacker News