How to copy a file locally?

The extension is really nice to run a notebook directly from a GitHub repository.

I think a common use case is to create a local copy of a notebook so that it can be modified and saved locally. I can't find an easy way to copy a file from the GitHub drive to the local filesystem.

I tried to use "Copy" from the contextual menu (when right clicking on a file) and then "Paste" but nothing happens.

The only way I found so far is to open the notebook in a text editor, copy the content, create a text file, paste, and rename the file. Not super user friendly. Is there a better way to do that?