The MS article you linked to makes interesting reading, particularly that you can also restart the 'MiniSearchHost.exe' in the Details tab of Task Manager. Obviously the user would need to first 'End' that task and then choose to run a new task from the File Menu to restart that service. A bit more long winded so I'll stick with my suggestion of restarting Windows Explorer.
It's good to know MS have now fixed this issue in the Insider Builds, presumably this will roll out in a future update.