#34: Using an online RepositoryManager helps.