[BUG] JSON file from "https://drazzy.com/package_drazzy.com_index.json" is not correct

[BroekerFrank]

Hi,

there is a JSON error from:
https://drazzy.com/package_drazzy.com_index.json

SyntaxError: JSON.parse: expected double-quoted property name at line 3888 column 13 of the JSON data

therefore the boards can NOT be installed in the Arduino IDE.
here the error message in the Arduino IDE:

...package_drazzy.com_index.json wird übersprungen, ein Einlesefehler ist aufgetreten:
com.fasterxml.jackson.databind.JsonMappingException: Unexpected character ('}' (code 125)): was expecting double-quote to start field name
at [Source: (FileInputStream); line: 3888, column: 14]
at [Source: (FileInputStream); line: 3887, column: 22] (through reference chain: cc.arduino.contributions.packages.ContributionsIndex["packages"]->java.util.ArrayList[1]->cc.arduino.contributions.packages.ContributedPackage["tools"]->java.util.ArrayList[11]->cc.arduino.contributions.packages.ContributedTool["systems"]->java.util.ArrayList[0])

Any idea?

best regards

Frank