User blog comment:Rappy 4187/Technical Update: August 16, 2017/@comment-28083312-20170816223740/@comment-5811199-20170818061048

Looks like that's the case. Renaming a bot isn't always the wisest idea - that's a looooot of edits that would have to be moved if a normal rename was done.