cocalc
cocalc copied to clipboard
Rename and copy in one step
I regularly want to make a copy of a file and change its name at the same time. Would be nice if it was more streamlined and could be done in a single step.