There's nothing from those modules used in those JS files. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/317