Tools for authors of the GTK+ reference documentation
