philh comments on Honoring Petrov Day on LessWrong, in 2019

[philh]

FWIW, I had taken that as a given.