Turn a string into a valid filename? Turn a string into a valid filename? python python