Re: [graph-tool] Graph Tool Data Export