About the Explorer bug, I've had it for years in Windows 7. It's inconvenient, especially when coding. The (very) short workaround is to rebuild the indexation.

About the Explorer bug, I've had it for years in Windows 7. It's inconvenient, especially when coding. The (very) short workaround is to rebuild the indexation. I'm sad to hear it is (seemingly) still present in Windows 10.