[release/10.0] Merge main to release/10.0#9014

wiktork merged 6 commits intodotnet:release/10.0dotnet/dotnet-monitor:release/10.0from

wiktork:dev/wiktork/merge10wiktork/dotnet-monitor:dev/wiktork/merge10Copy head branch name to clipboard