Please add "Download File" next to the already existing "Upload File" on the editor's file tab's context menu (right-click tab). This will be useful when receiving remote, external modifications on files already open.