Video JS does not fall back to download links

Video for Everybody provides download links as a last resort for devices that do not support WebM, OGV, MP4, or flash. It uses the following HTML to do this.

<!-- Download links provided for devices that can't play video in the browser. -->
<p class="vjs-no-video"><strong>Download Video:</strong>
  <a href="http://video-js.zencoder.com/oceans-clip.mp4">MP4</a>,
  <a href="http://video-js.zencoder.com/oceans-clip.webm">WebM</a>,
  <a href="http://video-js.zencoder.com/oceans-clip.ogv">Ogg</a><br>
  <!-- Support VideoJS by keeping this link. -->
  <a href="http://videojs.com">HTML5 Video Player</a> by VideoJS
</p>

The VideoJS module (specifically videojs.tpl.php) does not include this HTML, so download links are not provided as a last resort. Devices that do not support WebM, OGV, MP4, or flash (like iOS 2.x), therefore, cannot access VideoJS videos at all.

Was the removal of the download links intentional? If not, can it be re-integrated into the module?