Commit c7cc947c0f3225a5b01e14456c65a8e3162dfd4c

Werner Lemberg 2021-01-23T15:45:10

Minor documentation fixes.