Delete ignored state and 'star:' queries.
This deletes 'star:ignored', 'is:ignored' and 'star:star'.
The latter is identical to 'is:starred' or 'has:star'.
This is an exact re-land of https://gerrit-review.googlesource.com/c/gerrit/+/343395
It had rolled out too early as the frontend needed to wait for
https://gerrit-review.googlesource.com/c/gerrit/+/342839 to be released to the frontend, including in a rollback path.
Change-Id: Ia557409f11a5f5bde491163cf83912d18047ae9d
Google-Bug-Id: b/242827284
Release-Notes: Delete ignored state of changes and 'star:' queries
diff --git a/Documentation/config-accounts.txt b/Documentation/config-accounts.txt
index aca9591..716fa2f 100644
--- a/Documentation/config-accounts.txt
+++ b/Documentation/config-accounts.txt
@@ -383,8 +383,8 @@
[[starred-changes]]
== Starred Changes
-link:dev-stars.html[Starred changes] allow users to mark changes as
-favorites and receive email notifications for them.
+Starred changes allow users to mark changes as favorites and receive email
+notifications for them.
Each starred change is a tuple of an account ID, a change ID and a
label.
@@ -402,8 +402,7 @@
when the prefix ends with '/', this ref format is optimized to find
starred changes by change ID. Finding starred changes by change ID is
e.g. needed when a change is updated so that all users that have
-the link:dev-stars.html#default-star[default star] on the change can be
-notified by email.
+the star on the change can be notified by email.
Gerrit also needs an efficient way to find all changes that were
starred by an account, e.g. to provide results for the
