re: #666 Obdicut

Cordell isn’t a troll, just a rather bullheaded dude who wants to have the same argument repeatedly.

Although that fits perfectly some leading candidates for the description of “troll”, having been accused of such a thing myself on occasion.