I wonder how VLC works when casting a local file to Chromecast: does it decode the file itself or does the Chromecast device do encoding? I am wondering about this because I have mixed results in casting the same file by different players. For example, if I have a very large Opus encoded Ogg file, i...