The HTML5 specification explicitly allows browsers to ignore the autobuffer attribute on media elements such as <audio> and <video>, and some browsers auto-buffer content regardless of whether this attribute is present. Is this a case of the specification being too pragmatic, and if so what can be done to improve the situation?