Commit 90ecac4118eb18b2f9e2f72cc0e0fdd42144bfe3

Werner Lemberg 2021-06-30T10:23:42

Update `CHANGES` file; other minor doc fixes.