ytp-dl seems to work fine, and is faster than youtube-dl.