在同一页面中使用相同的视频两次似乎强制不必要的媒体重新加载。
比较加载视频加载图像：
<img src="image.png"/> <img src="image.png"/> <video src="video.webm"></video> <video src="video.webm"></video>
根据Firefox 5 Web控制台，这个图像会加载一次图像，但是这个视频是两次。
据了解，从http://www.w3.org/TR/html5/video.html#dom-media-mediagroup起，该规范的作者希望在这两种情况下都可以单独重新加载(“引用同一媒体资源的多媒体元素将共享一个网络请求”)，但这并不是我所想的。
我试图玩过服务器缓存参数(我使用的是vanilla web.py)，没有用，我怀疑是在错误的树上吠叫。有什么具体的我应该看的吗？ HTML元素？
请注意，这与为同一视频拥有多个来源的常见问题相反。在这里，我关心的是具有多个视频元素，并且具有相同的源(例如在不同的时间点)。
