[graph-tool] Question about recent optimizations