open two files in different directories,
as well as a remote file.
Switching between them and
`Tools>Synchronize Terminal with Current Document`
or in the Terminal Settings,
check "Automatically synchronize the terminal with the current document when possible")
Upon switching to the remote file, a blue message should appear at the top:
```
Terminal not synchronized with current document, because
<document url path>
is not a local file
```