Revert "Remove outdated documentation."

This reverts commit c176095204dca8b4317e44502515e6cefae9b8af.
I don't know how this happened. I intended to remove a single line.
Remove outdated documentation.

pushd "$fredDir" avoids this assumption.