dev-util/gnome-devel-docs: version bump to 3.10.2