Fix doc regarding the last change in fossil repository management