Those are, as you noted, audio-less WEBM files, not MP4s (though it may have automatically transcoded a video into that format). It’s essentially a more-efficient form of animated GIF, not really a video in the sense that non-technical end-users likely think of it.