Detect and repair Windows 10 Start Menu

[jesus2099]

Sometimes, my Windows 10 Start Menu becomes broken.
When I press the Windows key then type program names, there is no search showing up.
In this case, We need to restart explorer.exe and everything is fixed.

taskkill /f /im explorer.exe
start explorer.exe

The biggest inconvenient is that all File Explorer windows will also be closed at the same time.
So it would be nice to not do it for nothing.

---

I did put this code on each unlock event: eefcb88
But then I had to revert it, because it broke my startup program loading sequence: 8b4ca2e

Revert "On unlock: Add start menu repair to fast keyboard repair"
This reverts commit eefcb88.

Killing explorer.exe on unlock event also
kills it during startup sequence,
thus preventing loading many programs!

Next time my Start menu is broken,
I will see if I can detect it properly,
so to kill explorer.exe only when needed.