Now downloading for_repository.pdf...