Pale Moon extensions > Greasemonkey >

https://github.com/gantt/downloadyoutube

A cross-browser script that adds a button to download YouTube videos as MP4 and FLV files. This script downloads the videos directly from YouTube and it integrates with YouTube's interface.

It creates a button under the video, to the left of "Add to"

Indispensable!