Before removing any extensions, I followed the instructions in #11. The bug report can be found here: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1924753.
Before removing any extensions, I followed the instructions in #11. The bug report can be found here: https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/1924753.