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