re: #842 buzzsawmonkey

Well, thank goodness that’s been taken care of.

Absolutely!
Now we can get on with some really important stuff, like comment 8,000,000.