apparently comments are broken on this blog. I’ll see if I can fix that tomorrow.