bash_aliases_ubuntu, upgraded gnome-shell-extension