The sound distributed version control system

A few fixes in the documentation comments

Created by  pmeunier  on November 26, 2020
KWAMD2KR5UYRHHPZWL7GY2KQKNXNVS4BYBVK3FXDI23NQMWA3U4QC
Change contents