ADDED: Rewrote the HTML-like labels grammar for GraphViz.