Project › Duplicate
Duplicates the current project into a new project tab. The current project history is not duplicated.
Project › Rename…
Rename the current project.
Search Highlighter (On/Off)