Comment by latexr

That post happened six hours after the comments. Doesn’t seem plausible they logged in to do it then got distracted.