Board Thread:General Discussion/@comment-36035664-20190621053101/@comment-9605025-20190621204030

The change from Ripto22475 to Riptoze was performed before the release of the user rename tool. The double renaming of this account was, as far as I recall, not supposed to happen and proved there was a bug with the check for past rename actions; which was fixed soon after the tool's release (as far as I know). Name changes prior to the user rename tool did not follow the same procedure as changes post release of the rename tool. Some digging around I did in the past would seem to indicate that the previous rename procedure was more of a loosely followed list of tasks than a strict procedure; they don't all match in terms of how the old name was dealt with.

As mentioned, the double rename caused issues with double redirects since MediaWiki only follows the first redirect. This issue was solved using the bot account KockaBot. However, there is a second issue which I mentioned on this similar thread which has still not been resolved. - Edit:

That is interesting about the usernames completely disappearing as far as the api is concerned. I checked those usernames shortly after the user rename tool was released and, at that time, they had simply been assigned the user id "0" (which is considered invalid).