gnome-shell-extension-dock prevents window from maximizing over it