While working on a workspace with remote mirroring certain file and directory operations work fine: e.g. creating new files, new folders, finding and replacing in files, etc. But deleting a file or ne-naming it has no effect on the remote structure. This bug is present in version 11.0.5