Looking at making a gnome-shell overlay for other desktops