Might also involve a #[1]​ display bug. Only mentions showing up in the All section of notifications after switching back and forth between All and Mentions.