Type PRODOC.TXT for user documentation.

