Doc updates

In addition to the changes described elsewhere in these notes, the published documentation for this version includes the following important changes.