2.25.1.2:

* Change public documentation location to library.gnome.org.
  (Daniel Elstner)