Merge branch "release-0.7.0" into "develop" Summary of the merged in commits: * 2b8b0b4b: Add initial version of chapter 10 * f6da894b: Bumb version number