The fact that we're using a tmp directory to do the code sync seems like an implementation detail that's not worth mentioning.