Remove .html extension from links

chrome/common/extensions/docs/templates/articles/devtools.html

 <h1>Extending DevTools</h1>
 
 <h2 id="overview">Overview</h2>
 
 <p>A DevTools extension adds functionality to the Chrome DevTools. It can add new
 UI panels and sidebars, interact with the inspected page, get information about
 network requests, and more. DevTools extensions have access to an additional set
 of DevTools-specific extension APIs:</p>
 
 <ul>
@@ skipping 29 matching lines @@
 
 <li>Get information about network requests using the <code>$(ref:devtools.network)</code>
 APIs.</li>
 
 </ul>
 
 <p>The DevTools page cannot use most of the extensions APIs directly.  It has
 access to the same subset of the <code>$(ref:extension)</code>
 and <code>$(ref:runtime)</code>
 APIs that a content script has access to. Like a content script, a DevTools page
-can communicate with the background page using <a href="messaging.html">Message Passing</a>.
+can communicate with the background page using <a href="messaging">Message Passing</a>.
 For an example, see <a href="#injecting">Injecting a Content Script</a>.</p>
 
 <h2 id="creating">Creating a DevTools Extension</h2>
 
 <p>To create a DevTools page for your extension, add the <code>devtools_page</code>
 field in the extension manifest:</p>
 
 <pre>
 {
   "name": ...
   "version": "1.0",
   "minimum_chrome_version": "10.0",
-  "devtools_page": "devtools.html",
+  "devtools_page": "devtools",
   ...
 }
 </pre>
 
 <p>An instance of the <code>devtools_page</code> specified in your extension's
 manifest is created for every DevTools window opened. The page may add other
 extension pages as panels and sidebars to the DevTools window using the
 <code>$(ref:devtools.panels)</code> API.</p>
 
 <p class="note">The <code>devtools_page</code> field must point to an HTML page.
 This differs from the <code>background</code> field, used for specifying a background page,
 which lets you specify JavaScript files directly.</p>
 
 <p>The <code>chrome.devtools.*</code> API modules are available only to the pages
 loaded within the DevTools window. Content scripts and other extension pages do not
 have these APIs. Thus, the APIs are available only through the lifetime of the
 DevTools window.</p>
 
 <p>
 There are also some DevTools APIs that are still experimental.
-Refer to <a href="http://developer.chrome.com/extensions/experimental.html">chrome.experimental.*
+Refer to <a href="http://developer.chrome.com/extensions/experimental">chrome.experimental.*
 APIs</a> for the list of
 experimental APIs and guidelines on how to use them.</p>
 
 <h2 id="devtools-ui">DevTools UI Elements: Panels and Sidebar Panes</h2>
 
 <p>
 In addition to the usual extension UI elements, such as browser actions, context
 menus and popups, a DevTools extension can add UI elements to the DevTools window:</p>
 
 <ul>
@@ skipping 12 matching lines @@
 
 <img src="{{static}}/images/devtools-extension-ui.png"
     alt="DevTools window showing Elements panel and Styles sidebar pane." />
 <p>
 Each panel is its own HTML file, which can include other resources (JavaScript, CSS,
 images, and so on). Creating a basic panel looks like this:
 </p>
 <pre>
 chrome.devtools.panels.create("My Panel",
     "MyPanelIcon.png",
-    "Panel.html",
+    "Panel",
     function(panel) {
       // code invoked on panel creation
     }
 );
 </pre>
 
 <p>JavaScript executed in a panel or sidebar pane has access to the the same APIs
 as the DevTools page.</p>
 
 <p>Creating a basic sidebar pane for the Elements panel looks like this:</p>
@@ skipping 267 matching lines @@
 
 // Create a connection to the background page
 var backgroundPageConnection = chrome.runtime.connect({
     name: "devtools-page"
 });
 </pre>
 
 <h2 id="more">More information</h2>
 
 <p>For information on the standard APIs that extensions can use, see
-<a href="http://developer.chrome.com/extensions/api_index.html">chrome.* APIs</a>
-and <a href="http://developer.chrome.com/extensions/api_other.html">Other APIs</a>.
+<a href="http://developer.chrome.com/extensions/api_index">chrome.* APIs</a>
+and <a href="http://developer.chrome.com/extensions/api_other">Other APIs</a>.
 </p>
 
 <p>
 <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.</p>
 
 <h2 id="examples">Examples</h2>
 
 <p>You can find examples that use DevTools APIs in
-<a href="http://developer.chrome.com/extensions/samples.html#devtools">Samples</a>.
+<a href="http://developer.chrome.com/extensions/samples#devtools">Samples</a>.
 </p>