davidlow

Update: I tried to re-create the bug naively by creating a folder with latex files and accessing it with jupyterlab. This did not result in any files being deleted. I...