Per-server notification mute that actually persists — Discord — Wishbullet