Firefox DOM Inspector showed that each <video> tag has one src attribute pointing to webm file while I expected to see separate <source> subtags for webm and mp4. It turns out that the video tags and other content are inserted by JavaScript.