Moderation on reddit was always pretty heavy-handed, arbitrary and unnecessary. Reddit should have removed most of them a long time ago (at least from the popular boards), but doing so now just looks distasteful.
If they had simply terminated the mods prior to this, well, they both wouldn't have actually had a problem to begin with, and could have easily chalked the whole thing up to a push to be more "open".