I'm confused. What is `escString`, and why should `\\` not be escaped? If my LabelText is `"\\\tfoo"` then not escaping `\\` will lead to an "escaped" string of `"\\\\tfoo"`, which I have to assume graphviz will render as `\tfoo` (e.g. a visible backslash followed by a t).