Re: [graph-tool] all_paths seems to repeat identical paths