[graph-tool] Re: Question about recent optimizations