1.20: minor updates to C# change notes#1100

hvitved merged 3 commits intogithub:rc/1.20github/codeql:rc/1.20from

felicitymay:1.20/csharp-change-notesfelicitymay/ql:1.20/csharp-change-notesCopy head branch name to clipboard