Move Proxy Settings API out of experimental

chrome/common/extensions/docs/static/permission_warnings.html

 <div id="pageData-name" class="pageData">Permission Warnings</div>
 <div id="pageData-showTOC" class="pageData">true</div>
 
 <!--
 NOTE: When this doc is updated, the online help should also be updated:
 http://www.google.com/support/chrome_webstore/bin/answer.py?hl=en&answer=186213
 
 We should periodically look at 
 http://src.chromium.org/viewvc/chrome/trunk/src/chrome/app/generated_resources.grd?view=markup
 to make sure that we're covering all messages. Search for
@@ skipping 210 matching lines @@
 
 <tr>
   <td style="font-weight:bold">
     <!-- IDS_EXTENSION_PROMPT_WARNING_ALL_HOSTS -->
     Your data on all websites
   </td>
   <td>
     <!-- HasEffectiveAccessToAllHosts() -->
     Any of the following:
     <ul>
-      <li> "proxy" permission (experimental) </li>
+      <li> "proxy" permission </li>
       <li> A match pattern in the "permissions" field
         that matches all hosts </li>
       <li> A&nbsp;"content_scripts" field with a "matches" entry
         that matches all hosts </li>
       <li> "devtools_page" </li>
     </ul>
   </td>
   <td>
     <p>
       The "proxy" permission is required by the
-      <a href="http://code.google.com/chrome/extensions/dev/experimental.proxy.html">experimental proxy</a> module.
+      <a href="http://code.google.com/chrome/extensions/proxy.html">proxy</a> module.
     </p>
 
     <p>
       Any of the following URLs match all hosts:
     </p>
     <ul>
       <li> <code>http://*/*</code> </li>
       <li> <code>https://*/*</code> </li>
       <li> <code>*://*/*</code> </li>
       <li> <code>&lt;all_urls&gt;</code> </li>
@@ skipping 129 matching lines @@
 Next, <a href="packaging.html">package the extension</a>
 into a new <code>.crx</code> file,
 and install the app from this <code>.crx</code> file.
 Now, change the extension's manifest to contain the new permissions,
 and <a href="packaging.html#update">repackage the extension</a>.
 Finally, update the extension
 (and all other extensions that have outstanding updates)
 by clicking the <b>chrome://extensions</b> page's
 <b>Update extensions now</b> button.
 </p>