Add news message for StatET 4.2.0 release
diff --git a/news/index.html b/news/index.html
index 01b1353..20c7052 100644
--- a/news/index.html
+++ b/news/index.html
@@ -17,6 +17,45 @@
>mailing list</a> to keep up to date!</p>
<div class="message">
+<p class="message-info" id="statet-4.2.0-r">
+ <a href="https://www.eclipse.org/lists/statet-users/msg00094.html" class="message-stamp">2020-10-01
+ | 📧[statet-users]:</a>
+ <a href="https://accounts.eclipse.org/users/stwahlbrin" class="message-author">(sw)</a>
+</p>
+<div class="message-content">
+<h3>[Ann] StatET 4.2.0 Release</h3>
+
+<p>I am pleased to announce <a href="https://projects.eclipse.org/projects/science.statet/releases/4.2.0"
+title="StatET 4.2.0 - Release Record">StatET 4.2.0</a>, the Eclipse-based IDE for the R language.</p>
+
+<p>This release provides full support for R 4.0, especially support for the newly added raw string
+literals in the R language. Details about these improvements and more noteworthy changes
+and features are presented <a href="noteworthy-4.2.php" title="StatET 4.2 - New and Noteworthy">here</a>.</p>
+
+<p>The new version is available for <a href="https://www.eclipse.org/downloads/packages/release/2020-06/r"
+title="Eclipse IDE 2019-12 - Downloads">Eclipse IDE 2020-06</a>;
+it is not compatible with Eclipse IDE 2020-09.
+StatET 4.2 officially supports R 3.5 - 4.0, but other versions of R may work too.</p>
+
+<h5>Download / Installation</h5>
+
+<p>To install the new version, you can use the following update site:<br/>
+<code>https://download.eclipse.org/statet/releases/4.2/E202006</code><br/>
+For other download options, please check the <a href="/statet/downloads/4.2.php" title="StatET 4.2 - Downloads"
+>download page</a>.</p>
+
+<p>If you want to use the advanced console (RJ) with R, you need the R package 'rj' for your R
+version as before. The packages for GNU R (<a href="https://gitlab.com/walware/de.walware.rj-server.gr"
+title="RJSrv for GNU R">RJSrv4GR</a>) are not part of the Eclipse StatET project, for installation
+see the <a href="https://gitlab.com/walware/de.walware.rj-server.gr/wikis/Installation" title="RJSrv for GNU R - Installation"
+>instructions at the project site at GitLab</a>.<br/>
+The R packages with version numbers 4.0.x (for RJ 4.0) are also compatible with StatET 4.2. There is
+no separate version for StatET/RJ 4.2.</p>
+
+<p>Thanks to everyone who has contributed to this release.</p>
+</div></div>
+
+<div class="message" id="statet-4.1.0-r">
<p class="message-info">
<a href="https://www.eclipse.org/lists/statet-users/msg00067.html" class="message-stamp">2020-03-05
| 📧[statet-users]:</a>
