7.6 Renaming a snippet
Due to the potential duality of snippets (i.e., they may exist both
in the LSR database, and in
this process is a bit more involved than we might like.
Send an email LSR editor, requesting the renaming.
The LSR editor does the renaming (or debates the topic with you),
then warns the LSR-to-git person (wanted: better title) about the
LSR-to-git person does his normal job, but then also renames any
copies of the snippets in
any instances of the snippet name in the documentation.
git grep is highly recommended for this task.