I have a set of files with four digit file extensions:
File.0001
File.0002
File.0003
I need them to have only three digit extensions:
FIle.001
File.002
File.003
I want to ensure that the files are not renumbered because the sequence must be preserved. Is there a way to just remove the first zero from the extensions?