Fix help man page bug when a default page name matched a mapped entry.

And update the console(1) and related documentation.