Re: [graph-tool] Performance with property map