gnome-extra/gnome-documents: version bump to 3.10.1