A GNOME manpages editor