Re: Proposed F13 feature: drop separate updates repository