[m-rev.] diff: announce 22.01 release on webpage

[Julien Fischer]

This probably doesn't need a review; I'll update the website after the 
release packages are uploaded; that should be sometime in the next couple
of hours.

-----------------------------


Announce the 22.01 release.

news/newsdb.inc:
documentation/include/documentation.inc:
      As above.

Julien.

diff --git a/documentation/include/documentation.inc b/documentation/include/documentation.inc
index e1e87b5..3baa517 100644
--- a/documentation/include/documentation.inc
+++ b/documentation/include/documentation.inc
@@ -1,7 +1,7 @@
  <h2>Documentation</h2>
  <p>
  This page contains documentation for Mercury version
-20.06.1,
+22.01,
  <?php /* <a href=<?php echo $root ?>/download/release.html>11.07.1</a>, */ ?>
  and for the latest
  <?php /* <a href=<?php echo $root ?>/download/rotd.html> */ ?>
diff --git a/news/newsdb.inc b/news/newsdb.inc
index 0f463c7..cef0c2d 100644
--- a/news/newsdb.inc
+++ b/news/newsdb.inc
@@ -25,6 +25,12 @@

  $newsdb = array(

+"31st March 2022" => array(
+"Mercury 22.01 released",
+"Release Information is available
+<a href=\"https://dl.mercurylang.org/release-22.01/release-notes-22.01.html\">here</a>.
+"),
+
  "24th January 2022" => array(
  "22.01 beta release available",
  "Beta versions of the upcoming 22.01 release are available on the