HLS vs progressive MP4: what a video downloader actually hands you

When I started building the downloader on ramrom.io, I assumed every video on the internet was an...