debian/man/konsole-kde3.1