Description of problem: I didn’t get notifications for either of these tags. I found them because I clicked on the notification of the comment. Both are from the same user, and while he capitalizes my name, when I click on it, it does go to my profile. Is the problem the capitalization, or a bug?
I’m pretty sure that users have tagged by capitalizing my before, and I think I got those? But I won’t swear to that.
No, I didn’t mute him: I get all of the notifications that come in from ID’s he makes on things I ID’d, and this morning I sent him a DM to try tagging me to see if I don’t get them (those worked so far). We also have collaborated quite a bit on region ID’s.
We might have solved it. He sent me two tags, one with my name capitalized, one lower case. I didn’t get the capitalized one. Strangely though if you click on either version, it goes to my profile page.