Update CONTRIBUTING.md

CONTRIBUTING.md

@@ -13,17 +13,12 @@ You can fork this repository into your namespace, create branches and develop as
 
 If you have fixed an issue or implemented a new feature, feel free to [open a pull request](https://github.com/KeYProject/key/compare).
 Pull requests are assessed automatically by running tests, checking for formatting errors and running static source checkers
-before they are reviewed by one of the developers.
+before they are reviewed by the core team.
 
-If you plan to implement major new functionality, we suggest to first get in contact with the KeY team (open an issue).
-We are glad to help.
+If you plan to implement major new functionality, we suggest first getting in contact with the KeY team (open an issue). We are glad to help and to guide.
 
-More detailed information is available in the [KeY Developer Documentation](https://keyproject.github.io/key-docs/devel/).
-In particular, please make sure your code adheres to the [Java Code Conventions](https://keyproject.github.io/key-docs/devel/CodingConventions/).
+More detailed information is available in the [KeY Developer Documentation](https://keyproject.github.io/key-docs/devel/). In particular, please make sure your code adheres to the [Java Code Conventions](https://keyproject.github.io/key-docs/devel/CodingConventions/).
 
 ### Licensing
 
-KeY is published under the [GPLv2](https://www.gnu.org/licenses/old-licenses/gpl-2.0.html.en) (no later versions).
-By opening a PR, you are licensing your contribution under the GPLv2 for inclusion in KeY.
-
-<!-- Note: no need to transfer copyright. -->
+KeY is published under the [GPLv2](https://www.gnu.org/licenses/old-licenses/gpl-2.0.html.en) (no later versions). By opening a PR, you are licensing your contribution under the GPLv2 for inclusion in KeY.