I haven't used that one, but I do use "Video DownloadHelper", which is a firefox add-on. It works awesome, and have used it pretty much anywhere there is a video I want to download.