Windows 10’s search tool gets a nifty improvement – and another more puzzling one