Raemon comments on LW Petrov Day 2022 (Monday, 9/​26)

[Raemon]

I do indeed explicitly think it is a bad idea.