[Feature request] Leading zeroes on episode numbers

[jacroe]

This is possibly eclipsed by #70, but I would really like if episode numbers that are saved as part of the filename could be lead with zeroes.

For example, a podcast with 100 episodes will have "001-Episode-1.mp3" and "023-Episode-23.mp3". Instead of "1-Episode-1.mp3" and "23-Episode-23.mp3".

This leads to questions like "What happens if a podcast branches into a higher magnitude of numbers?" (Which, I'd honestly be fine if every downloaded episode gets renamed with another "0" prepended. I also realize that not everyone is gonna feel the same, obviously.)

[akhilrex]

What is the use case for this requirement?

[jacroe]

Various directory listings, both in a terminal and in a GUI file manager. As it stands, 100-Episode-100.mp3 would appear before 2-Episode-2.mp3, despite the former being posted much later.