(2019-09-18, 18:57)Johann Eisner Wrote: Personally, I find it more user friendly with the numbers, but what happens to the existing stickers?
These would then all have to be renumbered.
Currently about 1000 official and about 350 unofficial stickers.
If you stay with the letters, you would also have to check all the stickers again and adapt them to the specification.
So it does not really matter.
I would be also for numbers.
I think that if we change the spec, we need to explicitly state that existing files get left alone. If we change it to require future files to have letters that are in the same order as the numbers on the sticker sheet, it's useful, but not great. Not too many people know off the top of their head what the 12th letter of the alphabet is.
On the other hand, if we change it to require future files to have a different naming scheme, we introduce confusion, since all the old stickers will have visibly different filenames from the new stickers. While that's not good, having the number be right there would make those stickers easier for people to use. I'm not sure which is better.