@Charles: Thanks for submitting the bug.  Is there any public tracking of those bugs?  I'd like to know when I can revisit these videos.

I'm not sure what is needed to actually view the MP4 versions, but I have tried Windows Media Player and Media Player Classic with FFDShow, and VideoLAN player, with no success.