Filter type of file in batch download

After selecting multiple files in the browser, a dialogue is opened that we can select the files we want one by one, but it is time-consuming if we only need pdf files and we should check all by mouse.
Having a search or filter is very useful.