After looking at numerous other Firefox57-compatible video download tools, this is the first I've seen that accesses both audio and video streams and combines them into one file. It uses the well-known FFmpeg codecs, which needs to be installed and location inserted in the options dialog.