Re: main repos should now be sane