Why @ mentions are not implemented internally as user reference? There is some error for users who decided to delete account, they get id instead of name, but comments still point to them. Also if user changes name then all mentions get invalid for future visitors. Maybe it is exotic reason, but if there is provided functionality for delete and rename, imo it should update such mentions or rewrite them.