Michael C., I'm sorry I wasn't subscribed to this bug and didn't see your most recent response until this week.
I'd like to see this rename happen for GNOME 3.22 which means it would be best if it could happen this weekend because of the impending Freeze. By correcting this issue for 3.22, it should be relatively easy to get the updated games in before Ubuntu 16.10 and Debian Stretch. I don't mind helping out but I'm not sure that my contributions will save you much time. I can do a sed replace on the git repositories and send you the patches but I don't currently have GNOME git commit rights. And I expect you'd have to be the one to talk to the GNOME System Administrators about renaming the git repo and bugzilla project. Thanks, Jeremy Bicha