Not Notified When Tagged In A Post

Another user tagged me in their post, but it didn’t show up as a notification. I just tagged several other users and suspect they’re likewise unaware.

This might be a (missing) “feature,” but I logged it as a bug.