Correct. Progressive MP4 also do the trick. Many open-source tool such as ffmpeg (generalist), gpac (specialized in this and leveraging ffmpeg), etc. in the area.