Ben Pace comments on Honoring Petrov Day on LessWrong, in 2020

[Ben Pace]

Thanks, fixed.