Replaced occurences of "porting guide" with platform development kit
Also added LED documentation to the TOC
diff --git a/pdk/docs/guide/pdk_toc.cs b/pdk/docs/guide/pdk_toc.cs
index ebc9957..282e5a2 100644
--- a/pdk/docs/guide/pdk_toc.cs
+++ b/pdk/docs/guide/pdk_toc.cs
@@ -46,6 +46,14 @@
       <li><a href="<?cs var:toroot ?>guide/bluetooth.html">Bluetooth</a></li>
     </ul>
   </li>
+
+  <li class="toggle-list">
+    <div><a href="javascript:nothing()">Misc</a></div>
+    <ul>
+      <li><a href="<?cs var:toroot ?>guide/lights.html">LEDs</a></li>
+    </ul>
+  </li>
+
 </ul>
 </li>