65add94bfd
Unused since 52bc675fcb84 ("introspection: remove --allow-unprefixed") (if ever used at all). Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3154>