Errata and Additions to the Manual

\begin{center}\vbox{\input{addendum}
}\end{center}