I'm fairly certain, keeping Mike was not "popular sentiment", so I'm not sure if it applies.
Though I can agree with the sentiment.
But in the first place, I don't even feel Mods should have such authority.
They should be janitors, not bureaucrats.