Windows 10's File Explorer new search bar to finally get faster