This is the state of the repository at the release (there have been three commits merged that fixed a few occurrences of spelling mistakes in ch7 after the release that's included in this release). Fixes after the release date will be reflected in the main branch, so this is just to record the state at the release date.