Video DownloadHelper won't be supported in Firefox 57+. This addon does about the same, although it doesn't offer as many configuration options. But it's enough for me, so I'm glad I found it.