re: #131 wrenchwench

Eh, I think there were politics involved there as well…

Yep. It was beyond a personal grudge, it was also a political grudge. Hard to separate at that level, of course.