diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 3ae99cf648..28e97d01bf 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -891,11 +891,62 @@
   </tr>
 </table>
 
+<p>The short story (Number of ports follow in parentheses. Follow the links for the details):</p>
+<center><table width="90%">
+<ul>
+  <tr>
+  <td bgcolor="#e4e4e4" valign="top">
+  <li><a href="#linuxusermode">Linux user mode simulation</a> (1)</li>
+  <li>ARM
+    <ul>
+      <li><a href="#arm7tdmi">ARM7TDMI</b></a> (4)</li>
+      <li><a href="#arm920t">ARM920T</a> (1) </li>
+      <li><a href="#arm926ejs">ARM926EJS</a> (3) </li>
+      <li><a href="#armcortexm3">ARM Cortex-M3</a> (10)</li>
+    </ul>
+  <li>Atmel AVR
+    <ul>
+      <li><a href="#atmelavr">Atmel 8-bit AVR</a> (3) </li>
+      <li><a href="#atmelavr32">Atmel AVR32</a> (1) </li>
+    </ul>
+  </li>
+  </td>
+  <td bgcolor="#e4e4e4" valign="top">
+  <li>Freescale <a href="#m68hcs12">M68HCS12</a> (2) </li>
+  <li>Intel
+    <ul>
+      <li><a href="#8052">Intel 8052 Microcontroller</a> (1)</li>
+      <li><a href="#80x86">Intel 80x86</a> (2)</li>
+    </ul>
+  </li>
+  <li>MicroChip <a href="#pic32mips">PIC32</a> (MIPS) (1)</li>
+  <li>Renesas/Hitachi:
+    <ul>
+        <li><a href="#superh">Renesas/Hitachi SuperH</a> (1/2)</li>
+        <li><a href="#m16c">Renesas M16C/26</a> (1/2)</li>
+    </ul>
+  </li>
+  </td>
+  <td bgcolor="#e4e4e4" valign="top">
+  <li>Zilog
+    <ul>
+        <li><a href="#zilogz16f">Zilog Z16F</a> (1)</li>
+        <li><a href="#zilogez80acclaim">Zilog eZ80 Acclaim!</a> (1)</li>
+        <li><a href="#zilogz8encore">Zilog Z8Encore!</a> (2)</li>
+        <li><a href="#zilogz80">Zilog Z80</a> (2)</li>
+    </ul>
+  </li>
+</ul>
+  </tr>
+</table></center>
+
+<p>The details, caveats and fine print follow:</p>
+
 <center><table width="90%">
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Linux User Mode</b>
+    <a name="linuxusermode"><b>Linux User Mode</b>.</a>
   </td>
 </tr>
 <tr>
@@ -916,7 +967,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>ARM7TDMI</b>.
+    <a name="arm7tdmi"><b>ARM7TDMI</b></a>.
   </td>
 </tr>
 <tr>
@@ -1037,7 +1088,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>ARM920T</b>.
+    <a name="arm920t"><b>ARM920T</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1060,7 +1111,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>ARM926EJS</b>.
+    <a name="arm926ejs"><b>ARM926EJS</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1138,7 +1189,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>ARM Cortex-M3</b>.
+    <a name="armcortexm3"><b>ARM Cortex-M3</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1459,7 +1510,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Atmel AVR</b>
+    <a name="atmelavr"><b>Atmel AVR</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1507,11 +1558,15 @@
     </ul>
   </td>
 </tr>
+<tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
 <tr>
   <td><br></td>
   <td>
     <p>
-      <b>PRJC Teensy++ 2.0 AT9USB1286</b>.
+      <b>PJRC Teensy++ 2.0 AT9USB1286</b>.
       This is a port of NuttX to the PJRC Teensy++ 2.0 board.
       This board is developed by http://pjrc.com/teensy/. 
       The Teensy++ 2.0 is based on an Atmel AT90USB1286 MCU.
@@ -1530,7 +1585,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Atmel AVR32</b>
+    <a name="atmelavr32"><b>Atmel AVR32</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1571,7 +1626,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Freescale M68HSC12</b>
+    <a name="m68hcs12"><b>Freescale M68HCS12</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1607,7 +1662,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Intel 8052 Microcontroller</b>
+    <a name="8052"><b>Intel 8052 Microcontroller</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1633,7 +1688,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Intel 80x86</b>
+    <a name="80x86"><b>Intel 80x86</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1685,7 +1740,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>MicroChip PIC32 (MIPS)</b>
+    <a name="pic32mips"><b>MicroChip PIC32 (MIPS)</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1715,7 +1770,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Renesas/Hitachi SuperH</b>
+    <a name="superh"><b>Renesas/Hitachi SuperH</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1744,7 +1799,7 @@
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Renesas M16C/26</b>
+    <a name="m16c"><b>Renesas M16C/26</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1781,7 +1836,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Zilog Z16F</b>
+    <a name="zilogz16f"><b>Zilog Z16F</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1804,7 +1859,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Zilog eZ80 Acclaim!</b>
+    <a name="zilogez80acclaim"><b>Zilog eZ80 Acclaim!</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1837,7 +1892,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Zilog Z8Encore!</b>
+    <a name="zilogz8encore"><b>Zilog Z8Encore!</b>.</a>
   </td>
 </tr>
 <tr>
@@ -1867,7 +1922,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <b>Zilog Z80</b>
+    <a name="zilogz80"><b>Zilog Z80</b>.</a>
   </td>
 </tr>
 <tr>