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.
