This page uses video.js due to browsers not supporting HLS. If you'd prefer to avoid that, you can of course download or stream via the HLS playlist with your player/downloader of choice.