Update the manual with new shell configuration properties.
Merge pull request #1601 from chrisvest/update-shell-docs

Update the manual with new shell configuration properties.