Re: [graph-tool] Discussion about new features