Extension Doc Changes (no building or testable changes): minor changes for tab & windows doc

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

 <div id="pageData-showTOC" class="pageData">true</div>
 
 <p>
 A <em>theme</em> is a special kind of extension
 that changes the way the browser looks.
 Themes are <a href="packaging.html">packaged</a> like regular extensions,
 but they don't contain JavaScript or HTML code.
-<span class="comment">
-[PENDING: check]
-</span>
-Once installed, the theme specification is copied
-into the browser preferences,
-allowing users to override individual theme choices.
 </p>
 
 <h2> Manifest </h2>
 <p>
 Here is an example <code>manifest.json</code> file for a theme:
 </p>
 
 <pre>
 {
 &nbsp;&nbsp;"version": "2.6",
@@ skipping 88 matching lines @@
     and 1 as <em>all pixels white</em>.
   </li>
 </ul>
 
 <p>
 You can alternatively use <code>-1.0</code> for any of the HSL values
 to specify <em>no change</em>.
 </p>