2ef6dba0a5
This is embarrassing, although destroy() is expected to only run once, so the bug shouldn't have an effect in practice. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/78