GNOME doc utils
