Windows Insiders features added in 1903 enhanced Search tools in settings April 7th 2020

Improved tools for Windows file search and indexing in 1903.