Question: How exactly does this work? Is the player code (video decompressing etc.) part of the browser code or does it utilize players on my desktop (divx or even vlc)? It seems that html5-video is codec-independent. But the codecs have to be somewhere, right?