Alternatively, ffmpeg -protocol_whitelist file,crypto,data,https,tls,tcp -stats -i <URL.m3u8> -codec copy <FILE.mp4>.
Also, some m3u8's are just files containing redirects to other m3u8's in various resolutions. You might want to extract the one you need and download that.
I have a MediaWiki instance on my laptop (I've found the features of all other wikis/mindmaps/knowledge databases decisively insufficient after having a taste of MW templates, Semantic MediaWiki and Scribunto).
Also some smaller things like pihole-standalone, Jellyfin and dictd.
Downloading there is straightforward: look at network requests, redownload svg's of individual pages with
wgetand reassemble those into a pdf. I did that today and the resulting quality wasn't exactly low - though I didn't examine it too closely. Readability was perfect.Probably could be automated, but I'm not bothered enough to do so yet.