We now need only one seed repo! Also cleans up the seeding script.