Fix double mention notifications (cc @alina -- change isn't deployed yet but it's on its way!)