jbash comments on Postmortem to Petrov Day, 2020