Uh, something really broke man: Installed from CD: ulrich@kira:~$ md5sum /usr/bin/man ; /usr/bin/man d35c8ac67e5e31746dfd1c2c0c72fd82 /usr/bin/man -bash: /usr/bin/man: No such file or directory Upgraded from 11.0 -> 12.0: ulrich@blinkenlights:~$ md5sum /usr/bin/man ; /usr/bin/man d35c8ac67e5e31746dfd1c2c0c72fd82 /usr/bin/man What manual page do you want? d'oh! -- RFC 1925: (11) Every old idea will be proposed again with a different name and a different presentation, regardless of whether it works.