When mentioning someone in a comment, typing @xxxyyyy and selecting a result replaces it with @#<id>yyyy; that is, it only replaces the first three characters with the proper id.

Meta Issue: https://meta.codidact.com/posts/283668