updated readme (#493)

README.md

@@ -5,6 +5,8 @@
 ![Build and Test CI](https://github.com/microsoft/coyote/actions/workflows/test-coyote.yml/badge.svg?branch=main)
 ![CodeQL](https://github.com/microsoft/coyote/actions/workflows/codeql-analysis.yml/badge.svg?branch=main)
 
+*- Note that Coyote is an open-source project that is provided "as-is". We are not able to provide any formal support. -*
+
 Coyote is a cross-platform library and tool for testing concurrent C# code and deterministically reproducing bugs.
 
 Using Coyote, you can easily test the *concurrency* and other *nondeterminism* in your C# code, by
@@ -21,10 +23,6 @@ in production and affecting users. In the words of an Azure service architect:
 
 Coyote is made with :heart: by Microsoft Research.
 
-**New:** Check out our experimental [systematic testing library for
-C++](https://github.com/microsoft/cpp-systematic-testing) that is based on the same research and
-technology behind Coyote.
-
 ## How it works
 
 Consider the following simple test:
@@ -84,11 +82,13 @@ command-line tool from [NuGet](https://www.nuget.org/packages/Microsoft.Coyote/)
 to check out the Coyote [website](https://microsoft.github.io/coyote/) for tutorials, documentation,
 how-tos, samples and more information about the project. Enjoy!
 
-If you are a Microsoft employee, please consider joining the internal-only [Friends of Coyote Teams
-channel](https://teams.microsoft.com/l/channel/19%3a1fe966b4fdc544bca648d89bf25c3c56%40thread.tacv2/General?groupId=7a6d8afc-c23d-4e5d-b9cb-9124118c0220&tenantId=72f988bf-86f1-41af-91ab-2d7cd011db47),
-to be part of our community and learn from each other. Otherwise, please feel free to start a
-[discussion](https://github.com/microsoft/coyote/discussions) with us or open an
-[issue](https://github.com/microsoft/coyote/issues) on GitHub, thank you!
+Note that Coyote is an open-source project that is provided "as-is". We are not able to provide
+any formal support.
+For Microsoft employees we have the [Friends of Coyote Teams
+channel](https://teams.microsoft.com/l/channel/19%3a1fe966b4fdc544bca648d89bf25c3c56%40thread.tacv2/General?groupId=7a6d8afc-c23d-4e5d-b9cb-9124118c0220&tenantId=72f988bf-86f1-41af-91ab-2d7cd011db47), which is an internal community that can help answer questions and
+learn from each other. Otherwise, please feel free to start a [discussion](https://github.com/microsoft/coyote/discussions)
+with us, open an [issue](https://github.com/microsoft/coyote/issues) on GitHub or provide a [PR](https://github.com/microsoft/coyote/pulls)
+contribution, thank you!
 
 Upgrading your `coyote` dependencies? Check the changelog [here](History.md).