Changes after Sébastien Gilles' review

Sébastien's reviews and my replies are summarized in this document to be shared with him.

assigned to @mmalanda

added 1 commit

• c7203ea5 - Fix a lot of details up to (and incl.) Section 5

Compare with previous version

added 1 commit

• 28819023 - Fix sections 6 to 9: proofreading + missing paragraph on local excludes

Compare with previous version

mentioned in commit cc037930

merged