I'm using Firefox on Linux, and I don't have Flash installed. The animated backgrounds are using the video tag, and provides "video/mp4", "video/webm", and "vid

I'm using Firefox on Linux, and I don't have Flash installed. The animated backgrounds are using the video tag, and provides "video/mp4", "video/webm", and "video/ogg" files for each of the slides that include video (slides 3, 7, and 9). Slides 4, 6, 8, 11, and 13 looks like they're doing some kind of more protected video, but I've never done any kind of web development, so I don't know how to track down how it works. I'll note that I've got an h.264 plugin from Cisco and a Widevine DRM module installed, and that might have something to do with how it works for me. Firefox 50.1.0 on Mint 18, if that makes a difference.