A video downloader extension for Firefox