user434507 asked What does it mean for the file name to be shown with red background on Stack Overflow, which was closed and migrated to Super User.
This user doesn't have an account on Super User, so as expected, the username is gray, static text. Comments that this user made on an answer, though, show as "Anonymous", rather than "user434507" as would be expected. Further down in the comments to that answer, another user replied to @user (now Anonymous), which at first glance, makes it look as though there might be a missing comment.
Shouldn't comments retain the user's name when being migrated, like the question does?
Also related, if the user were to come over and create an account, would the comment be reowned by the user? This question makes it appear that it won't (it was tagged
by-design, but in the picture, it looks like the user had already associated accounts but not regained ownership of the comment).