Does anyone how to remove padded numbers with python? I want to be able to take a file like afile.0001.cin and convert it to afile.1.cin I've been checking the docs but nothing jumps out at me. Thanks!