[Mark Sir Link]

I can still see it on other players/in their hat collections, so they didn't do a very good job of removing it by say, changing players with that as their hats param[1] to something else, and removing that hat file name from any player who had it