Microsoft continues to optimize search performance in Windows 10 File Explorer