re: #737 LudwigVanQuixote

lol. Not exactly. I don’t want to detract from the thread, that’s all. But we’ve verged onto some pretty esoteric points in the past. And this is esoteric off the charts.