Thanks for the reminder. The homepage is a GitHub page and does not support git lfs, so I have compressed the files as much as possible to reduce their size. We consider re-encode the mp4 files to x264, and provide a packed zip of the homepage.
What OP meant is that they would like an open format on the website, which, then, can be viewed in any modern browser. I think that caniuse is a good resource in this regard.
WebM with VP9 video is a good general browser target I think:
But funnily enough, even though h264 is not open, it's a widely decoded video format as well:
I hope open standards keep winning. Overall, everyone wins with the infrastructure being openly accessible, especially the common folk.