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.

This is a problem of the sorting algorithm

Far too many sorting algorithms would have 10 come after 1 but before 2. Those programmers need to be flogged until they see the error of their way.