Add shell versions reported by Debian

Make my number one favorite gnome-shell extension install on current Debian based distributions.