"Download YouTube Videos as MP4" on the other hand has active dev, https://github.com/gantt/downloadyoutube