Sorry about the total silence yesterday, my day got filled and I just wasn’t at my computer much (and not at all at the one running slack).

And I (still) would just have added snark. So if you guys wanted a nice calm response, it was better this way.

But it’s going to get rejected! PLDI?