Re: [graph-tool] Questions about the .gt format