JSON output loses last letter of label when label contains double back slash, \\
Steps to reproduce
I attach an input file and a json output file. I ran it as: dot.exe -Tjson -O GraphvizJsonBSlashBSlash.gv
Expected Behaviour
In the "op": "T" "text" value I expected to see "double back slash in label \\. End should be the last word - End"
Actual Behaviour
I actually saw: "text": "double back slash in label \\. End should be the last word - En" The last character was missing.
OS Version
Windows 11 22H2
Graphviz Version
graphviz version 9.0.0 (20230911.1827GraphvizJsonBSlashBSlash.gv
GraphvizJsonBSlashBSlash.gv.json
Additional info
A character is lost from the end of the text for each \ that appears in the text.