On one of my posts, there was a deleted user.
Well what would you like to name yor encryption techniche
So i can give it a home in my operating system olso sell this to the government
2 months ago · ·
2 months ago · · ·
Anyways, I can still see the user's name in my reply to the comment. Should all the mentions of that user be deleted?
They should, but we probably won't, because it would require editing posts.
Basically the way that comments work is that they have an associated
user_id. If the user with that ID was deleted, then we just return "deleted" for the username. However, the mentions are simply text (i can mention any username, even if they don't exist, like @asdlfjladsfhfgskjdhfgsdfg), and it's more trouble than it's worth to go through and edit everyone who has ever mentioned that person.
Additionally, the first is reversible, while the second is not.