help: Document is:muted search filter better.

Messages in muted channels may not be muted, so the documentation
was previously not quite accurate.

help/include/mute-unmute-intro.md

@@ -19,6 +19,10 @@ Muting has the following effects:
 - In the desktop/web app, muted topics are sorted to the bottom of their channel,
   and muted channels are sorted to the bottom of their channel section.
 
+You can search muted messages using the `is:muted` [search
+filter](/help/search-for-messages#search-by-message-status), or exclude them
+from search results with `-is:muted`.
+
 !!! warn ""
 
     **Note**: Some parts of the Zulip experience may start to degrade

help/search-for-messages.md

@@ -117,10 +117,9 @@ Zulip offers the following filters based on the location of the message.
 * `is:resolved`: Search messages in [resolved topics](/help/resolve-a-topic).
 * `-is:resolved`: Search messages in [unresolved topics](/help/resolve-a-topic).
 * `is:unread`: Search your unread messages.
-* `is:muted`: Search messages in [muted topics](/help/mute-a-topic) or
+* `is:muted`: Search [muted](/help/mute-a-topic) messages.
-  [muted channels](/help/mute-a-channel).
+* `-is:muted`: Search only [unmuted](/help/mute-a-topic) messages. By default,
-* `-is:muted`: Search messages outside [muted topics](/help/mute-a-topic) and
+  both muted and unmuted messages are included in keyword search results.
-  [muted channels](/help/mute-a-channel).
 * `has:reaction`: Search messages with [emoji reactions](/help/emoji-reactions).
 
 ### Search by message ID

web/templates/search_operators.hbs

@@ -154,7 +154,7 @@
                     <tr>
                         <td class="operator">is:muted</td>
                         <td class="definition">
-                            {{t 'Narrow to messages in muted topics or channels.'}}
+                            {{t 'Narrow to muted messages.'}}
                         </td>
                     </tr>
                     <tr>