Different sound notifications.

It would be very nice if the devs of discord puts a different sound of notification when someone types @everyone or @Example#0000 to recognize if someone pinged you or just typed in a chat.