I'm finding more issues with Echo.

I wasn't pinged at all when tagged with [[user:Pine]] and [[User:Pine|Pine]] in this set of edits on Meta: https://meta.wikimedia.org/w/index.php?title=User_talk%3ALilaTretikov&diff=8640558&oldid=8623701

Do Echo pings not activate when a user is tagged by someone editing from an IP? I can file a bug report but wanted to check here first.

Pine