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