Dieses Update behebt Probleme bei der Suche (Cmd/Win+Shift+F) und vielen Erweiterungen für WSL- und SSH-Nutzer.