Not to single him out or anything, but just wondering if I can just do
@Peter to address a reply to him, or if I have to copy and paste every time.
OK I thought this worked due to the AEther / aether thing but that must have been an anomaly.
So instead we now pass all @names to be matched through this function
Which is documented here
That should really fix this.
I have a strong suspicion that @Peter doesn't work.
At least I don't remember having been notified of any comment from you the day you posted this.
And my suspicion is now proven by the comments to the main post. Thanks @Gnoupi and @polygene :-)