Board Thread:General Discussion/@comment-9605025-20200616213252

This one is just for curiosity purposes. Skimming the Special:RecentChanges, there was a change made to this 2016 Forum reply. I am not sure why those changed were needed 4 years later but that isn't the point of this thread. Anyways, when viewing the diff, I noticed that the post's page still had the old naming; using the username instead of the userid. As far as I am aware, there are only two ways this could have happened. I am pretty sure it isn't #1 because I checked the revision history and deletion logs. But if it was #2, then that could mean that other pages were also missed. Has anyone else seen another example of this? 
 * 1) The post has deleted when the conversion script came through
 * 2) The script skipped it for some reason