math.stackexchange.com has a feature where we can notify users in the comments e.g. @Euler or @Klein. However I have noticed that when a user changes his name from say Euler to Gauss, any existing tag @Euler does not change to @Gauss.
I understand facebook has this feature, can it be implemented in here? It would be useful because when I am going through posts where some users have changed names, I find it frustrating sometimes when trying to understand the genealogy of the comments posted.