7 posts were split to a new topic: Anonymizing a user leaves mentions of them as their original username