Re: [graph-tool] does 'extract_largest_component()' preserve vertex properties?