Documentation utilities for GNOME