Commit 08f66322e32cc882733dfae408e040f5057ee2ac

Werner Lemberg 2021-06-08T18:23:16

More various documentation improvements and fixes.