Editing file extensions