From d2a3cbeb6f611c92d79a6736af22537b7d8223dd Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Sat, 26 Jun 2021 00:44:02 +0200
Subject: [PATCH] Documentation:  Note about options on PIO (#8174)

---
 doc/ideoptions.rst | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/doc/ideoptions.rst b/doc/ideoptions.rst
index a52c20ef2..f790d02fc 100644
--- a/doc/ideoptions.rst
+++ b/doc/ideoptions.rst
@@ -1,5 +1,5 @@
-Arduino IDE: esp8266 specificities in Tools menu
-================================================
+esp8266 configuration
+=====================
 
 Overview
 --------
@@ -11,8 +11,16 @@ not visible, please try using the generic esp8266 or esp8285 board.
 In every menu entry, the first option is the default one and is suitable for
 most users (except for flash size in the generic ESP8266 board).
 
-Specific option list
---------------------
+Note about PlatformIO
+---------------------
+
+`PlatformIO specific documentation
+<https://docs.platformio.org/en/latest/platforms/espressif8266.html#espressif-8266>`__
+is also available.  Note that this link is available here for reference and
+is not maintained by the esp8266 Arduino core platform team.
+
+Arduino IDE Tools Menu
+----------------------
 
 Board
 ~~~~~