Re: [math-fun] My coda to Legendre's conjecture