>>17217
I thought I would recode it, but later I realized YouTube has multiple streams with differing quality.

You can do something like:
$ youtube-dl 'https://youtube.com/watch?v=m7XZmugtLv4‘ -F
(output compressed manually here for brevity, there are even more streams and you should match audio and video stream of the same type - either webm+webm or m4a+mp4, otherwise the resulting file will be unplayable in web browsers)
format code extension resolution note
250 webm audio only tiny 73k , opus @ 70k (48000Hz), 8.38MiB
251 webm audio only tiny 142k , opus @160k (48000Hz), 15.14MiB
243 webm 640x360 360p 450k , vp9, 30fps, video only, 34.46MiB
244 webm 854x480 480p 867k , vp9, 30fps, video only, 61.47MiB
247 webm 1280x720 720p 1866k , vp9, 30fps, video only, 128.83MiB
248 webm 1920x1080 1080p 2887k , vp9, 30fps, video only, 226.14MiB

I chose audio "251" and video "244", so I executed the following command:
$ youtube-dl 'https://youtube.com/watch?v=m7XZmugtLv4‘ -f 244+251