Yep, this pinged me.

Interestingly, I can see both tags in my mentions history, but only this one triggered a notification.