New repos, and other fixes.