It strikes me as strange and ineffectual to use the hellban on a person who is obviously a regular on the site. It's my understanding that it's intent is to cause newcomers who make low-quality contributions to quickly lose interest and leave. It can't really do its job against people who know about it.