Re: [graph-tool] HTML label problem