I'm also unhappy with him being banned from commenting but not downvoting. While I frequently found his comments obnoxious and annoying in their connotations, they definitely served a net positive on the site.

That said, his moderation practices clearly served a larger net negative, so if there are technical reasons why it's difficult to undo his moderation and ban him from moderating in the future, I suppose this is the best we can get.