Idiots riding that dead corney horse.
They probably never checked for other typical OCR errors , like "cornmined", "cornrnined", "othcrnise" or "allorney".
Can't fix stubbornly stupid …. So why not let them have their fun ride & their "yuge Q proofs"… Kek!