[@dmlange Participant 5 years, 12 months ago]

If I manually complete the mention in the comment form (@user-name), the mention is successfully executed. The @mention becomes a link and the mentioned user is notified.