"Cereoid-UR12" appears to be the group's resident
troll at the moment.

No, he's the resident curmudgeon. You never had an uncle like that?

Curmudgeon is one thing (I've been accused of this myself), but I'd classify
some of the responses I've seen from that source as straying into the
phallocephalic area, without doubt.