I think they ended up fixing this, all the deleted users I can find resolve to UID 456226577798135808. Although, messages that used to @mention the user don't

I think they ended up fixing this, all the deleted users I can find resolve to UID 456226577798135808. Although, messages that used to @mention the user don't have their UID mangled (since @mentions are really `<@userid>`), so it'd be easy to correlate someone @pinging a deleted user and that deleted user responding to the ping. Seems like fixing this would be pretty challenging (logistically and computationally) given you'd have to arbitrarily edit other peoples' messages.