What if the @mention user decides to change his/her display name, now you need to parse @mention into a unique id and save that in the database with comment body and then translate it back when you serve it to the currently chosen @mention name...
Regardless of the type of application, why would you not want a user to be able to change their display name?
If I was able to change my display name on hacker news, I think I would.