Save annotated source as . . . (File menu)

Allows you to designate a filename, then saves a copy of the annotated source.