Base debian-installer repository.
The manual no longer lives here; see the installation-guide repo instead for that