[dmvdoug]

> There’s absolutely no need for the ridiculous pedantry, and it adds less than nothing to the comment chain. Be better.

But it sure does tell us a hell of a lot about the person who wrote it.