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