Minor documentation fixes.

Closes issue #521.

common/locale/en-US/options.xml

@@ -1398,7 +1398,6 @@
 </item>
 
 <item>
-    <tags>'nosf' 'nostrictfocus'</tags>
     <tags>'sf' 'strictfocus'</tags>
     <spec>'strictfocus' 'sf'</spec>
     <type>&option.strictfocus.type;</type>

melodactyl/content/player.js

@@ -376,7 +376,7 @@ const Player = Module("player", {
     },
 
     /**
-     * Loads the the specified media page into *view* with the given *list* of
+     * Loads the specified media page into *view* with the given *list* of
      * media items.
      *
      * @param {sbIMediaPage} page

pentadactyl/NEWS

@@ -134,7 +134,7 @@
       - CSS property name completion is now available. [b4]
       - :delstyle, :styleenable, :styledisable and :styletoggle accept a !
         to operate on all styles. [b6]
-      - Added Find group. [b7]
+      - Added Find highlighting group. [b7]
     • IMPORTANT option changes:
       - Option value quoting has changed. List options will
         no longer be split at quoted commas and the option name,