Ok, we've changed to that from https://github.com/dotnet/sdk/pull/22262 since it (presumably) has more background. Thanks!