Improve POSIX man pages for the Lean Prolog integration shell script