Since a few days, the @phanpy notification icon no longer shows a dot when there are new mentions.

It used to be extremely reliable.

(It's just a detail, and doesn't greatly impact my enjoyment of Phanpy. But I know @cheeaun is a details person ;-) )