diff --git a/docs b/docs
index 6bbb8134..dfef63a7 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 6bbb813494d4a28bf6345a478b41c8f92e0b2533
+Subproject commit dfef63a7f1ecc1112f8572e771189f579c51a407
diff --git a/platformio/shared.py b/platformio/public.py
similarity index 100%
rename from platformio/shared.py
rename to platformio/public.py