I'm wondering about the reliability of the feature that allows to address other users in comments using the @user syntax. I see the following problem: User names can be changed. Because they are not unique the system isn't able to display the comments properly after a change since the system d...