I'm now getting notifications (thank you @YetAnotherBeckyMumsnet), but we're back to the same issue we had with PMs, in that the red roundel is used for both mentions and now thanks. Is there no way of separating them, as you did with PMs? Could you add a green roundel for thanks, perhaps?