Re: [graph-tool] How to get HTML labels ?