Nitpick: rename "Make a copy of" to "Duplicate"

Use case or problem

Everywhere I look (at least on macOS), the functionality for “Make a copy of” is called “Duplicate”. I thought I could get used to the awkward name after a while, but it’s been 6 months and the inconsistency still bothers me, so I thought I’d throw that out there as a nitpick FR. Feel free to close if it’s not worth your time.

Proposed solution

Rename “Make a copy of” to “Duplicate”.

Current workaround (optional)

Wait a few more years to get used to it.