Comment on What is known about how Eric Lu factored the 862-bit RSA-260 after 35 years