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.