diff --git a/docs b/docs
index c81c85b8..4ccbe4a4 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit c81c85b861bd59e06978d37611ab68b3a54633da
+Subproject commit 4ccbe4a41e38da952cc135894b8069864cfd4225
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index e18bb832..cd56034c 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -302,21 +302,31 @@ Stable and upstream versions
 
 You can switch between `stable releases <https://github.com/platformio/platform-{name}/releases>`__
 of {title} development platform and the latest upstream version using
-:ref:`projectconf_env_platform` option in :ref:`projectconf` as described below:
+:ref:`projectconf_env_platform` option in :ref:`projectconf` as described below.
+
+Stable
+~~~~~~
 
 .. code-block:: ini
 
-    ; Custom stable version
-    [env:stable]
-    platform ={name}@x.y.z
+    ; Latest stable version
+    [env:latest_stable]
+    platform = {name}
     board = ...
-    ...
 
-    ; The latest upstream/development version
-    [env:upstream]
+    ; Custom stable version
+    [env:custom_stable]
+    platform = {name}@x.y.z
+    board = ...
+
+Upstream
+~~~~~~~~
+
+.. code-block:: ini
+
+    [env:upstream_develop]
     platform = https://github.com/platformio/platform-{name}.git
     board = ...
-    ...
 """.format(name=p.name, title=p.title))
 
     #