pman for Linux; .ps version of man page to stdout