This fixes some mistakes in the python pseudocode (that described an older version that is not aligned to the draft implementation in core), and fixes some minor other details.
Commit e4e2b7ccd10af0ad0fdab6358461567326ee21e8 also adds a paragraph to clarify that fees are expected to be paid exogenously. While not specific to CCV and rather common to most/all covenant proposals, it was suggested in the comments of the previous PR to have an explainer (cc @Sjors).