Unless I missed something it seems awfully wrong to ban him. There are other people here who've posted more per day and no one cares. His posts weren't terribly low content either, no less than I've seen other people post without getting banned.