Re: [graph-tool] Remove vertices without edges