These are things I found while reviewing @GioBonvi's docs-update PR. Many of these are changes unrelated to his PR though, so didn't fit into review-comments, so this PR is opened against that PR-branch for inclusion. If any of these changes are unclear and need explaining, or you want to change (or drop) some of them, let me know.
These are things I found while reviewing @GioBonvi's
docs-update
PR. Many of these are changes unrelated to his PR though, so didn't fit into review-comments, so this PR is opened against that PR-branch for inclusion. If any of these changes are unclear and need explaining, or you want to change (or drop) some of them, let me know.