re: #316 Charles
Is schadenfreude really inappropriate, in this instance?
I’m thinking, if this turns out to be true, that we might need to make an exception.