They don't. The files are stored on the server. I imagine that one can upload local files to the server, but when you're saving a file or compiling, it's all b

They don't. The files are stored on the server. I imagine that one can upload local files to the server, but when you're saving a file or compiling, it's all being done on the server side rather than locally.