Deleted files re-appear
Nightly
So I don't have an exact reproducer at all for this. I think @haecker-felix talked about this issue first, and I didn't want to believe it.
But it also happens to me: I have autosave disabled, and the file is not open in a tab. I have deleted the file via Builder and Builder's terminal. And the file randomly (?) keeps re-appears on the disk.