Remove .html extension from links

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

 <h1>Options</h1>
 
 <p>To allow users to customize the behavior of your extension, you may wish to provide an options page. If you do, a link to it will be provided from the extensions management page at chrome://extensions. Clicking the Options link opens a new tab pointing at your options page.</p>
 
 <p>Use the $(ref:storage) API to persist these preferences. These values will then become accessible in any script within your extension.</p>
 
 <h2 id="step_1">Step 1: Declare your options page in the manifest</h2>
 
 <pre data-filename="manifest.json">
 {
   "name": "My extension",
   ...
-  <b>"options_page": "options.html"</b>,
+  <b>"options_page": "options"</b>,
   ...
 }
 </pre>
 
 <h2 id="step_2">Step 2: Write your options page</h2>
 
 Here is an example options page:
 
-<pre data-filename="options.html">
+<pre data-filename="options">
 &lt;!DOCTYPE html>
 &lt;html>
 &lt;head>&lt;title>My Test Extension Options&lt;/title>&lt;/head>
 &lt;body>
 
 Favorite color:
 &lt;select id="color">
  &lt;option value="red">red&lt;/option>
  &lt;option value="green">green&lt;/option>
  &lt;option value="blue">blue&lt;/option>
@@ skipping 45 matching lines @@
 }
 document.addEventListener('DOMContentLoaded', restore_options);
 document.getElementById('save').addEventListener('click',
     save_options);
 </pre>
 
 <h2 id="important_notes">Important notes</h2>
 <ul>
 <li>We plan on providing some default css styles to encourage a consistent look across different extensions' options pages. You can star <a href="http://crbug.com/25317">crbug.com/25317</a> to be notified of updates.</li>
 </ul>