re: #398 Gus
Just to be clear, I’m not outraged about the mistakes above, since I don’t expect most people to get such obscure details correct. But as there is some confusion about the facts, it’s always useful to set them straight.