I probably shouldn’t be getting involved but
I think you’re being a bit rough on Mike here.
You’ve been here long enough that I don’t have to tell you how much work all of the moderators put into this site, for free mind you. I’ve seen the stuff they have to deal with.
While I give Mike a hard time jokingly calling him the fun po po, it’s not very often and in good fun and I expect the jabs back.
I think it’s time to back off. That thread certainly wasn’t and isn’t worth having a long, drawn out slam fest over. There are some threads that are sometimes borderline but mods have to err on the side of caution because it can rapidly go way over the line in quick fashion. Let’s cut him some slack alright?