Linch comments on Honoring Petrov Day on the EA Forum: 2021

[Linch]

(I’ve also downvoted Peter’s comment when I first read it, for similar reasons).