...And you assume you will only ever look at those files with that file manager forever...

There is no downside to writing the leading zeroes pretty much anywhere except when aesthetics matter (event flyers, etc)