a must have add on. works very well and reliably. one of the best if not the best, video downloader

how to set up
left click the 3 balls on top right of browser
click the gear symbol "settings"
click behavior and change the default download location
also you will need to install the companion app ( this is open source ).

it downloads standard video files no QR code and FAST ( both free and registered version )

it downloads video in ADP and HLS and DASH format.
registered version is FAST after download completes

( free version puts QR code in top left corner and takes a lot of time ( hours to aggregate or convert) )

I've used it for years and there are updates and bug fixes. Finally brought the license :-)