9. Removing features from your product may result in users not being able to achieve some goals
Ie removing the leading zero breaks some sorting (Eg .mp3 files on an album where you know the number of tracks and hence how many leading 0s you need)
My remark was a jab at the fact that the list on the original website had leading zeros for no reason. I am not talking about naming files but about displaying information to humans.
In the case of music, leading zeros on files are useful for sorting. But the music player should not use file names for sorting but track numbers, and display them without leading zeros in the interface.
Ie removing the leading zero breaks some sorting (Eg .mp3 files on an album where you know the number of tracks and hence how many leading 0s you need)