That would be a pretty big mistake for the author of both the JSON spec and JSMin to make? Maybe it is but it seems unlikely.
function JSON5_to_JSON(str) { return JSON5.parse(str).stringify(); }
This is exactly what is suggested in the Usage section of the linked article.