I wonder if they'll be releasing a PR shortly to announce the name change. If so, this will fly imo.