I just did the win10 anniversary update and installed v1.3.3. The start menu search is terribly slow when looking for control panel items. It takes a good few seconds to display results. Searching was instantaneous prior to the windows update. Any ideas?