a092da2527
It hasn't been used since commit d86044f383.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/49