Node label text in DOT JSON output truncated when it contains \\

JSON output format from DOT loses last letter of node label when label contains \ (loses one letter for every \ in the label).
It is ok in the “label” field but in the “op”: “T” “text” entry the last letter disappears.
My example input is:
graph {
node01[label=“double back slash in label \. End should be the last word - End”];
}

A subset of the JSON output (with my bold text) is:
{
“op”: “T”,
“pt”: [243.180,12.570],
“align”: “c”,
“width”: 349.500,
“text”: “double back slash in label \\. End should be the last word - En
}
],
“height”: “0.5”,
“label”: “double back slash in label \\. End should be the last word - End”,

You can see the “d” is missing in the “text” data.
For info I need to use \ because I also output in SVG format and this outputs a single \ when I include \.

This seems to be a bug report. Please enter it here (Issues · graphviz / graphviz · GitLab).
You have to enter it it because we need your OS, Graphviz version, …

By the way, this may be fixed in the latest versions of Graphviz.

Done.

Thanks.

Birdy