v4.7.2 — the hygiene check was case-sensitive

The pattern list is lower case. The check was not case-folding. So a
capitalised spelling of a forbidden name walked straight past a rule that
names it — and did, into the previous commit and onto the public remote.

Verified before fixing: the shipped pattern matched 1 of 3 test lines
case-sensitively and 2 of 3 with -i. The names in question are written
CamelCase everywhere they actually appear, so the rule was close to inert for
its main purpose.

Fixed with -i, three names added, and the offending text removed from the
backlog. The first version of this fix wrote the two spellings into a comment
as an illustration, and the file promptly flagged itself — this file is checked
like every other, which is the property that caught it. The comment now says so
instead of demonstrating it.

Not fixed here: the previous commit's message and its release note still carry
the names. A commit message cannot be scrubbed without rewriting published
history, which is not something to do unasked.