Bruce Momjian <bruce(at)momjian(dot)us> writes:
> Yes, we could do that, but in our last discussion of help we didn't want
> 'help' to do anything but print pointers to the correct commands.
Yeah, but that discussion wasn't considering the context of shortening
or eliminating the welcome banner.
The idea of reducing the fixed banner to just "Type help for help",
and moving all the existing instructions underneath "help", seems
fairly sane to me.
regards, tom lane