A Gnome interface to 'man' written in PyGObject