Re: [graph-tool] Retrieving distances from shortest_distance