>, I discovered that NewPipe, an alternative YouTube client I installed through the F-Droid store, is actually much more reliable at downloading videos than the official client.

NewPipe is so good and so useful. It can even play 4K and watch livestreams now.