As I mentioned in the other [1] thread, you can use this android app [2] (which uses youtube-dl) to download directly onto your phone. If you're on iOS, sorry :(

[1] https://news.ycombinator.com/item?id=12595973

[2] https://github.com/zeronickname/VideoDownloader