Re: [graph-tool] Edge betweenness centrality