When someone pings you in a server, discord should play a different notification than the current/default one.