A GNOME manpages editor
