Is there a way to convert json5 to json?

Hi,

As far as I see, Json5Language (and related classes) extends JsonLanguage (and related classes) so JSON5 files are JSON files too. As JSON5 is an extension of JSON, “converting” JSON5 to JSON wouldn't work, as plain JSON doesn't support JSON5's features.