I don't have a big problem with banning his dev account from the Play store. I rather dislike the fact that all of his other Google accounts (Wallet, buying things on Play, Music, etc) got banned as well. That's exactly the kind of thing that makes me wary of actually ever making an Android app in my own name.