WebTorrent (https://webtorrent.io/) is built upon WebRTC, but I believe PeerTube should fallback to simple HTTP mp4. There is a download link handy that you can open in the browser, vlc, mpv or your favorite video player.

https://diode.zone/download/streaming-playlists/hls/videos/b...