@bear2bears I do not know of any tools, but if you add a video to your playlist and play from there, it exposes the media link in the html of the page. If you're a little techy you can find it, open in a new tab, and manually download. I'm sure there's an extension that could just detect the link automatically, but I've never looked for one.