Update documentation for gnome-shell <= 3.8 build.