This is confusing. Are you recommending users with the present extension (i.e. uBlock₀) should now install uBlock from the new repository? If so this should be stated clearly somewhere.