Whenever I need to download a video I will reach for this extension or yt-dlp, and one of them usually gets the job done. Fantastic piece of software.
EDIT: It seems nowadays a QR code is getting added to downloaded videos on some systems. It does not happen to me, but if it's the case that's a pity. Also I kind of dislike that the extension itself is not FOSS.