Merge main into live#12003

Merged

dotnet-policy-service[bot] merged 3 commits into

livefrom

Nov 1, 2025

Commits on Oct 31, 2025

Fix typo: "reeceive" → "receive" in Socket.xml documentation (#11997)

Copilot
and
MihaZupan
authored
Port documentation improvements from dotnet/runtime#121232 (#11998)

Copilot
and
jkotas
authored
Add missing xml docs for System.Runtime.Intrinsics (#11930)

tannergooding
and
Copilot
authored