Extended mentions via activitypub

Hm. I would expect to mention you here with @aschrijver. This worked for your last post. I would expect to mention you at meta with @aschriejver@meta.discourse.org

What one could ask for publishing/syncing a comment with activitypub: convert the here local mention to a full qualified mention on the other end.