IDE GNOME Builder для разработки приложений GNOME и Manuals — офлайн-браузер документации для разработчиков по GTK, GLib и связанным библиотекам.