diff --git a/docs/esp8266/general.rst b/docs/esp8266/general.rst
index 301e36d27c..966b8794f2 100644
--- a/docs/esp8266/general.rst
+++ b/docs/esp8266/general.rst
@@ -11,8 +11,3 @@ ESP8266 chip. MicroPython tries to provide a generic port which would run on
 as many boards/modules as possible, but there may be limitations. Adafruit
 Feather HUZZAH board is taken as a reference board for the port (for example,
 testing is performed on it).
-
-WebREPL
--------
-
-TBF