Documentation utilities for GNOME.