PLD and NAV files should be numbered with padding zeros

[richardsc]

It's really annoying working with the real-time and delayed data files, because the yos are number without a fixed width, meaning that basically all operating systems (and data analysis code) have to deal with the ordering of the files in order to process them correctly. For example, here is the top of the files for the Sea021M33 mission, which illustrates the problem: 103 sorts before 13 which in turn sorts before 1. Arg 😠

sea021.33.gli.sub.103.gz
sea021.33.gli.sub.104.gz
sea021.33.gli.sub.108.gz
sea021.33.gli.sub.109.gz
sea021.33.gli.sub.113.gz
sea021.33.gli.sub.114.gz
sea021.33.gli.sub.118.gz
sea021.33.gli.sub.119.gz
sea021.33.gli.sub.123.gz
sea021.33.gli.sub.124.gz
sea021.33.gli.sub.128.gz
sea021.33.gli.sub.133.gz
sea021.33.gli.sub.134.gz
sea021.33.gli.sub.138.gz
sea021.33.gli.sub.139.gz
sea021.33.gli.sub.13.gz
sea021.33.gli.sub.143.gz
sea021.33.gli.sub.144.gz
sea021.33.gli.sub.148.gz
sea021.33.gli.sub.149.gz
sea021.33.gli.sub.14.gz

Better would be to name files like:

sea021.33.gli.sub.0001.gz
sea021.33.gli.sub.0002.gz
sea021.33.gli.sub.0003.gz
...