(In reply to Lars Martin Hambro from comment #13) > Created attachment 857712 [details] > repo list 3 This list omits URLs, making it useless for the need here.