Fixes #1
Online file search is parallelized.