Say that the pin this gate waits for is here, and that the revisit is untaken

.github/lint/lint.sh

@@ -44,8 +44,19 @@ EXCLUSIONS_FILE="$(dirname "$0")/excluded-lints"
 #
 # `nursery` holds lints the analyser's own authors describe as still under
 # development. Denying them means a toolchain upgrade can redden this gate for a
-# lint nobody finished, and the version this repository builds with is not even
-# pinned yet, which is #14. It is worth revisiting once it is.
+# lint nobody finished. The version is pinned in rust-toolchain.toml, `clippy` is
+# one of the components that pin names, and #14 is what put it there, so such an
+# upgrade is a commit to that file rather than a runner image moving underneath
+# this gate. THE REVISIT THIS PARAGRAPH ASKS FOR IS THEREFORE AVAILABLE AND HAS
+# NOT BEEN TAKEN. Whether `nursery` is denied now is a judgement about how strict
+# this gate is, and it is not settled here.
+#
+# THIS PARAGRAPH SAID THE VERSION WAS "not even pinned yet, which is #14", AND
+# ASKED FOR THE REVISIT "once it is". It was written on 2026-08-25 at 07:35 and
+# the pin landed at 17:16 the same day, in a change that had no reason to open
+# this comment, so it was true for under ten hours and false for the twenty-three
+# days after. Every other site under .github/ reads #14 as landed; this was the
+# one that still read it as open, which is how it was found. #408.
 #
 # `restriction` is not a set of defects at all. It is a menu of blanket
 # prohibitions, several of which contradict each other, and its own documentation