History Manual/repository.texi