Re: [graph-tool] Label components after filtering