video-dl — wooptoo.com

Simple extension to download videos from various learning websites with a single click. The downloaded files have a timestamp and the name of the page they're from. This extension is for personal use only.