Postmortem to Petrov Day, 2020 — LessWrong