Re: [graph-tool] Return multiple specific vertices from graph.vertex()