Adopt gnome-shell-extension-extend-left-box-git