Update manual (text only) accordingly to chages made for Gnome Shell 3.10