I should be able to duplicate files in the Web IDE. ### Proposal - add duplicate button to file/directory drop down in file tree ### Design  ### Links / references