Either way... IP or Name, it is still considered advertising another server, which, if you look at the server rules, it states that is not allowed. If someone tells me the name of a server instead of the IP, I could easily go look up the server, and get the IP. So really, there is no difference, just one is easier than the other. Therefore saying, a ban for the IP is fair, and a mute for a name is fair. This is because when you are listing an IP, it's highly likely you are wanting people to join that server. But by just saying the name, it's more subtle and you don't really have any intentions of taking HHGN players.