32185c17d0
It's not used for anything anymore, and may well end up being removed. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/808