Modified File and Edit menu topics re change of name of Save Snippet and Copy Snippet menu options to Save Annotated Source and Copy Annotated Source respectively.
Authored by: delphidabbler 2013-11-28
Parent: [r3995]
Child: [r3997]
