Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4004>
The rename didnt happen as part of the merge as various bits were removed the commits after, reducing the amount of required changes Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4004>