I meant it might be nice if we had a different file name that users could set if they manually create the file. I guess we can always infer failure by just lacking an end event, so maybe that's not necessary.