Commit 0c83ba6d61e686ca55c3cc763d48a38cb4d7ca67

Werner Lemberg 2018-12-10T12:11:54

Minor documentation updates and fixes.