On Sep 4, 2022, at 18:23, Thomas Morley <thomasmorle...@gmail.com> wrote: > >> The Contributor's Guide has sections on adding, editing, and renaming >> snippets. What should I do when I want to stop using a snippet in the >> Notation Reference? > > Well, short answer, adjust NR in > Documentation/*/notation/expressive.itely, and you're done.
Thanks. I'll do that much and also record your answer in the CG. Later, I will coordinate with you about fully cleaning up this and any other obsolete snippets I find. — Dan