What I found much more annoying, and so far have not been able to work around, is that yt-dlp requires you to have a YouTube account, something that I have not had for a decade or so, and am unwilling to create again.
What tool can I use to simply store what my browser receives anyway, in a single video file?