On 2014-12-3 13:24 , Bradley Giesbrecht wrote: > > And possibly use mpstats to weight the order. Yes, if we had lists of the top 100, 500, 1000 ports or whatever then we could do those first. This actually works well because a port cannot be more popular than its rdeps. :) - Josh