That's JSONC. But JSON5 adds some more nice stuff without being overkill IMO.

https://json5.org/