encodingfield in languages.json is for? I need to know to create a pull request. I see that it is used only for byte count in frontend.js. But I always want byte count to be displayed properly, so should I always specify UTF-8?
encodingis solely for the byte counter. It's supposed to mean that if the code is encoded in that encoding, this would be its size. It doesn't perform any checks.