Re: Removing a snippet

[Dan Eble]

On Sep 4, 2022, at 18:23, Thomas Morley <thomasmorley65@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