b50074fd37
Now that we moved to ES standard replacements, let's make sure they don't creep back in accidentally. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/57