Sounds good. (Though the chance of a file name collision is actually quite low, since we also attach a timestamp to it, which is why I didn't expose this config to the user)