gnome-extra/gnome-user-docs: version bump to 3.10.2