When somebody deletes a ping or DM.

When somebody deletes a ping or a DM (I'm surprised this isn't a thing on Discord yet). It would also remove the notification badge, and the notification itself. This would easily take care of ghost pinging or accidental DMs becoming more awkward.