Extensions Docs Server: Doc conversion script

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

 <p>
 Use <code>chrome.devtools.inspectedWindow</code>
 to interact with the inspected window:
 obtain the tab ID for the inspected page,
 evaluate the code in the context of inspected window,
 reload the page,
 or obtain the list of resources within the page.
 </p><p>
 See <a href="devtools.html">DevTools APIs summary</a> for
 general introduction to using Developer Tools APIs.
@@ skipping 76 matching lines @@
          console.log("the page is not using jQuery");
        else
          console.log("The page is using jQuery v" + result);
      }
 );
 </pre>
 
 <p>
 You can find more examples that use Developer Tools APIs in
 <a href="samples.html#devtools">Samples</a>.
-</p>
+</p>