Re: [graph-tool] Purging vertices after filter