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&d…
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