Re: [graph-tool] Find best paths sorted by length with graph tools