Re: [graph-tool] Fastest way to get a random neighbor