Mass downloading images with original filenames

[jabberwockxeno]

Apologies for asking this here, but I couldn't find other contact information for the lead developer to ask this.

I've seen multiple people say you can use 4chan x to download multiple images in a thread at once with their original filename, but I'm not seeing a way to do this either in the documentation here on github, the readme, or in 4chan x's settings when actually on a board.

Is this possible, and if so, how do I do it?

[saxamaphone69]

#1187 (comment)

Does this bookmarklet do what you're after?

[jabberwockxeno]

#1187 (comment)

Does this bookmarklet do what you're after?

Well, I can't get it to work, so no, but I'm not sure if that's an issue with the actual bookmarklet, or me not adding it correctly.