Hi, the Gnome terminal annd the 'man' pages are not working after a number of dist-upgrades (which may or may not be the cause). Any ideas for a fix ? Adam, adam@bogacki.net