[graph-tool] Questions about the .gt format