I just discovered that the terminal's man command is missing some functionality I found useful. If I recall correctly, the old man command used to display the percentage revealed (of the man page) at its prompt. After some upgrade, however (not sure whether it was Jaguar or one of its revisions), the percentage stopped being displayed. At the prompt, all that is shown now is a colon; when the man page is complete it displays END. I'm running 10.2.3, and as I said before I just discovered this issue. I'm not a Unix pro, so if this is a stupid question, please remember that fact.