They're on debian-devel, and I'm sure the hivemind fill find them quickly enough, but sure: https://lists.debian.org/debian-devel/2014/05/msg00585.html (and yes, they got pushback, but it took approximately that much until people said WTF).
That is not the point here, neither in my resignation or my blog post. Something being controversial does not mean it's ok to be a dick to the people pushing for it, which is the core of what I'm trying to say.
Given they're active on the list in question and while the content crossed a line, the style was not out of character, nor was it later claimed to have been posted by somebody else, so I think we can rule this out.