A simple GTK+2 manual page viewer