Extensions get disabled (due to broken "Show IP" extension installed)
Recently, several of my gnome extensions have all stopped working: Alt Tab Workspace, Bing Wallpaper, Dash to Dock, Hide Top Bar, Sound Input & Output Device Chooser, System76 Power, and Workspace Matrix. If I turn them on through the page https://extensions.gnome.org/local/, they don't really take effect. If I restart, via "Alt-F2, r", all of those extensions are turned off. I would appreciate some advice on how to track down what's wrong.
I'm running Gnome Shell 3.38.2 on Ubuntu 20.10 x86-64.
Edited by Andre Klapper