Re: [graph-tool] Way to get vertex ids that belong to a group