Board Thread:Help desk/@comment-43445746-20190809173404/@comment-3974211-20190812150850

There's probably a browser extension that will let you download every file on a page and also name that file automatically - e.g. "original name", "link name", "numbered name", etc.