Comment by latexr

15 days ago

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

0 comments