Re: [graph-tool] Average Clustering Coefficient Distribution