Another way to reproduce (from bug #1235902): 1) Open gnome-tweak-tool on extensions tab 2) Go to https://extensions.gnome.org/ and enable any extension there (gnome-tweak-tool should be opened)
Another way to reproduce (from bug #1235902): /extensions. gnome.org/ and enable any extension there (gnome-tweak-tool should be opened)
1) Open gnome-tweak-tool on extensions tab
2) Go to https:/