A simple tool to download video lectures from edx.org