When you say “some users don’t trigger it”, that’s probably a feature. It’s important to know if a user is federated with the server the msg is posted to in order for them to get the notification.

Indeed we can always write a markup hyperlink and put the users address in it, but that’s not the point. That would not ensure that they get the notification. It’s the automatic generation of that link that tells us whether the user was recognized.

I believe we 1st have a documentation bug since the docs do not cover this. And functionality-wise, we should be able to see a list of who is mentioned for the purpose of notifications.