3 ms·

Just so you know, NewPipe lets you download videos too (although a dedicated app might have a better interface for it)