Hacker News Reader

They are bash built-ins. They are documented in bash's man page.

can also use `help pushd` to get manual only for that command ('help' is like 'man' for built-ins)

This is what I needed. None of the man pages showed information on the bash functions. 'help' did the job.

Ironically, 'man help' yields no results.

That's because `help` is also builtin. It's listed under "SHELL BUILTIN COMMANDS" in `man bash 1` (or use the non-obvious `help help`)