Great, the released binaries also seem to be compiled with proprietary_codecs=true, that means H264 videos are working (by default Chromium is not compiled with

Great, the released binaries also seem to be compiled with proprietary_codecs=true, that means H264 videos are working (by default Chromium is not compiled with this flag).