User Guide refers to "Muted"-changes.
Muted changes are now "Reviewed" changes.
Change-Id: Ifbde9a410fab4038712de32b3fcbf29262cf2152
diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt
index 8377555..d448241 100644
--- a/Documentation/intro-user.txt
+++ b/Documentation/intro-user.txt
@@ -601,7 +601,7 @@
exposing secret details.
[[ignore]]
-== Ignoring and Muting Changes
+== Ignoring Or Marking Changes As 'Reviewed'
Changes can be ignored, which means they will not appear in the 'Incoming
Reviews' dashboard and any related email notifications will be suppressed.
@@ -609,9 +609,9 @@
you do not actively participate in the review, but do not want to completely
remove yourself.
-Alternatively, rather than completely ignoring the change, it can be muted.
-Muting a change means it will always be marked as "reviewed" in dashboards,
-until a new patch set is uploaded.
+Alternatively, rather than completely ignoring the change, it can be marked
+as 'Reviewed'. Marking a change as 'Reviewed' means it will not be highlighted
+in the dashboard, until a new patch set is uploaded.
[[inline-edit]]
== Inline Edit
