Aliasing anton_hnz → hnz
Link to alias

Reason:

When looking at this post (post #1624436), I noticed that almost all posts from this artist are tagged as anton_hnz, hightnekohnz, and hnz, usually all three at once but almost always at least two.

As hnz is the most commonly used of these tags, I propose the other two be aliased to it.

So, to be clear, I'm suggesting both
anton_hnz -> hnz
and
hightnekohnz -> hnz