Re: [graph-tool] Extracting vertices with a given property