diff --git a/download/index-next.t2t b/download/index-next.t2t
index 6d9ab63eb..4f44ccc5b 100644
--- a/download/index-next.t2t
+++ b/download/index-next.t2t
@@ -15,8 +15,8 @@ What's new? See the [Release notes release-3.9.html].
 == Binary packages ==
 
 || Platform | Download | Features | How to install
-| Mac OS X | [gf-3.9.pkg gf-3.9.pkg] | //GF+S+C+P// | Double-click on the package icon (*)
-| Mac OS X | [gf-3.9-bin-intel-mac.tar.gz gf-3.9-bin-intel-mac.tar.gz] | //GF+S+C+P// | ``sudo tar -C /usr/local -zxf gf-3.9-bin-intel-mac.tar.gz``
+| macOS | [gf-3.9.pkg gf-3.9.pkg] | //GF+S+C+J+P// | Double-click on the package icon (*)
+| macOS | [gf-3.9-bin-intel-mac.tar.gz gf-3.9-bin-intel-mac.tar.gz] | //GF+S+C+J+P// | ``sudo tar -C /usr/local -zxf gf-3.9-bin-intel-mac.tar.gz``
 %| Fedora (32-bit) | [Fedora RPMs /~hallgren/tmp/Fedora/] | //GF+S+C+J+P// | ``sudo rpm -i ...``
 | Ubuntu (32-bit) | [gf_3.9-1_i386.deb gf_3.9-1_i386.deb] | //GF+S+C+J+P// | ``sudo dpkg -i gf_3.9-1_i386.deb``
 | Ubuntu (64-bit) | [gf_3.9-1_amd64.deb gf_3.9-1_amd64.deb] | //GF+S+C+J+P// | ``sudo dpkg -i gf_3.9-1_amd64.deb``
@@ -44,11 +44,11 @@ variables, see Inari's notes on
 %(which is started with ``C:\MinGW\msys\1.0\msys.bat``).
 %It should work out of the box without any additional settings.
 
-The ``.deb`` packages should work on Ubuntu 14.04, 1604 and 17.04 and similar
+The ``.deb`` packages should work on Ubuntu 16.04 and 17.04 and similar
 Linux distributions.
 
 The packages for macOS (Mac OS X) should work on at
-least 10.9, 10.10, 10.11 and 10.12 (Mavericks, Yosemite, El Capitan and Sierra).
+least 10.11 and 10.12 (El Capitan and Sierra).
 
 (*) **Note** that for compatibility with OS X 10.11 and newer, 
 ``gf-3.9.pkg`` will install the ``gf`` executable in ``/usr/local/bin``
@@ -116,21 +116,21 @@ manually. Here is one way to do this:
 
 
 **Note 2**.
-The GF source code has been updated to compile with GHC 8.0.x. Using older
-versions of GHC (7.10.3, 7.10.2, 7.8, 7.6) should work too.
+The GF source code has been updated to compile with GHC 8.2.1. Using older
+versions of GHC (e.g. 8.0.x and 7.10.3) should still work too.
 
-=== Known problems ===
-
-There seems to be a bug in some versions of Cabal that can cause
-
-```
-  Distribution/Simple/PackageIndex.hs:124:8-13: Assertion failed
-```
-
-if the same version of GF is
-already installed. If you encounter this, you can use ``ghc-pkg unregister gf``
-to remove the installed version of GF and ``ghc-pkg list gf`` to verify that
-it is gone.
+%=== Known problems ===
+%
+%There seems to be a bug in some versions of Cabal that can cause
+%
+%```
+%  Distribution/Simple/PackageIndex.hs:124:8-13: Assertion failed
+%```
+%
+%if the same version of GF is
+%already installed. If you encounter this, you can use ``ghc-pkg unregister gf``
+%to remove the installed version of GF and ``ghc-pkg list gf`` to verify that
+%it is gone.
 
 ==Installing from the latest developer source code==
 
diff --git a/download/release-next.t2t b/download/release-next.t2t
index 3f179c67d..0d0cbc114 100644
--- a/download/release-next.t2t
+++ b/download/release-next.t2t
@@ -27,7 +27,7 @@ Over 200 changes have been pushed to the source repository since
 
 ====New features and notable changes====
 
-- support for language-specific depencency configurations (in addition to abstract syntax based ones); see ``help vd`` in the GF shell
+- Support for language-specific depencency configurations (in addition to abstract syntax based ones); see ``help vd`` in the GF shell
 
 
 ====Other changes and bug fixes====
@@ -37,7 +37,7 @@ Over 200 changes have been pushed to the source repository since
 
 ====Changes of interest to compiler developers====
 
-- ...
+- The compiler source code has been updated for compatibility with GHC 8.2.1
 
 
 ===Resource Grammar Library===
@@ -47,11 +47,9 @@ Over 200 changes have been pushed to the source repository since
   - Norwegian Nynorsk
 
 
-- API now usable for incomplete languages via ``Missing`` modules: implemented for Arabic and Latin.
-- punctuation with BIND and SOFT_BIND tokens for a number of languages
-
-
-
+- API now usable for incomplete languages via ``Missing`` modules:
+  implemented for Arabic and Latin.
+- Punctuation with ``BIND`` and ``SOFT_BIND`` tokens for a number of languages
 
 
 - Various fixes for several languages.
@@ -64,9 +62,10 @@ Over 200 changes have been pushed to the source repository since
 
 ===Apps and Cloud services===
 
+- PGF service: support for language-specific depencency configurations in
+  ``command=deptree``.
 - ...
 
-
 --------------------
 
 [www.grammaticalframework.org http://www.grammaticalframework.org]