I have Ubuntu 17.10, with GNOME Shell, and I have installed this extension. Now I am unable to turn it off or uninstall it.
I have tried to uninstall it from the extensions.gnome.org website (Installed Extensions -> clicking on the red cross), the extension is still there.
I have tried to remove
$HOME/.local/share/gnome-shell/extensions/windowList and restarting (open the run dialog with Alt+F2, and enter restart), the extension is still there.
How can I remove it?