Top hat aliases

Posted under Tags

The bulk update request #10537 has been approved by @evazion.

create alias magician_hat -> top_hat

It was hard to me to find that tag, high hat and topper are according to Wikipedia. As always, the BUR is subject to changes if someone has objections to any of the suggestions. I'll also qualify the character topper from nu carnival to remove the ambiguity in a separated BUR below.

Edit: I'll leave only magician hat then, I guess it's more intuitive that way.