a small command-line program to download videos from videolectures.net