Finally, something new. The format is Windows Media Video (WMV).
You should be able to view with Windows Media Player. If it will not play in your
browser, right click and select "save target as..." to save the file to your computer.

You can still find the old videos in the Archive section.