Extensions Docs Server: Doc conversion script

chrome/common/extensions/docs/server2/templates/intros/devtools.html

 <p>
 The following API modules provide support for extending
 Chrome Developer Tools:
 </p>
-
 <a name="api-list"></a>
 <ul>
   <li>
   <a href="devtools.inspectedWindow.html">devtools.inspectedWindow</a></li><li>
   <a href="devtools.network.html">devtools.network</a></li><li>
   <a href="devtools.panels.html">devtools.panels</a></li>
 </ul>
-
 <h2 id="using">How to use DevTools APIs</h2>
-
 <ol>
   <li>
     Specify the "devtools_page" field in your extension's manifest:
 <pre>{
   "name": ...
   "version": "1.0",
   "minimum_chrome_version": "10.0",
   <b>"devtools_page": "devtools.html"</b>,
   ...
 }
@@ skipping 22 matching lines @@
   </li><li>
     There are also some Developer Tools APIs that are still experimental.
     Please refer to <a href="experimental.html">chrome.experimental.* APIs</a>
     for the list of experimental APIs and guidelines on how to use them.
   </li>
   <li>
     <a href="http://groups.google.com/group/google-chrome-developer-tools/topics">Give us feedback!</a>
     Your comments and suggestions help us improve the APIs.
   </li>
 </ol>
-
 <h2 id="other">More information</h2>
-
 <p>
 For information on the standard APIs that extensions can use, see
 <a href="api_index.html">chrome.* APIs</a> and
 <a href="api_other.html">Other APIs</a>.
 </p>
-
 <h2 id="examples">Examples</h2>
-
 <p>
 You can find examples that use Developer Tools APIs in
 <a href="samples.html#devtools">Samples</a>.
-</p>
+</p>