[graph-tool] HTML label problem