Re: [graph-tool] Extract a neighborhood of a randomly selected node