[graph-tool] How to get HTML labels ?