Greasy Fork

Suggestion: Better file name for download.

The script works pretty well. However, I like it to give the downloaded file a name based on the title on the page (what youtube-dl does). It's a small change - just something to consider :)

var title = $(".jp-title").text();
var gasmLink = '
Download
';