Exactly. I had setup some dock extensions before Ubuntu went back to gnome and I'm stuck with it now, can't seem to be able to switch back. Deactivating / unins

Exactly. I had setup some dock extensions before Ubuntu went back to gnome and I'm stuck with it now, can't seem to be able to switch back. Deactivating / uninstalling said extension didn't work. I uninstalled it years after installing so probably the settings changed name or something.