[smitty1e]

I'd never heard of JSON5 ahead of this post.

As long as we're clear that JSON5 never gets a .json extension, what is the problem?