Board Thread:Script Suggestions/@comment-36009152-20190211220834/@comment-33109274-20190811213819

Well I'd probably go about that by saving the whole 10115 long file list in a text file and then use the command line commands findstr(windows) or grep(macOS/linux) to extract just the relevant filenames. Actually I'd use grep on both OS but grep is not on windows by default.

Happy to provide you with instructions on how to do so if you want to try it this way. Let me know your OS (windows or mac/linux).