Rephrase: If media is displayed inline in the browser via the HTML5 <video> element, using an encumbered codec, is it really HTML5?