manual: wrap things up with the version control section