On Mon, May 22, 2023 at 19:20:23 +0200, Jens Maurer via SG15 wrote:
> Is 01.00002 supposed to be a valid version number?
> (Note leading zeros.)

I'll note that there is a GNU-ism where leading zeros can be used to do
a form of "negative" versioning where more leading zeros leads to
"lesser than".

https://man7.org/linux/man-pages/man3/strverscmp.3.html

    000 < 00 < 01 < 010 < 09 < 0 < 1 < 9 < 10

--Ben