Thousands separator in badge image

[sfan5]

Problem

Badge image shows 1234546 downloads

Solutions

Badge image should show 1,234,546 downloads because that's easier to read

Additional context

https://stackoverflow.com/questions/1823058/how-to-print-a-number-using-commas-as-thousands-separators

[rubenwardy]

The badges are currently generated by shields.io by making a request to a JSON API, there doesn't appear to be an option to change the formatting:

https://img.shields.io/badge/dynamic/json?color=%23375a7f&label=ContentDB&query=downloads&suffix=+downloads&url=https%3A//content.minetest.net/api/packages/Wuzzy/glitch/

So it's likely the code will need to switch to using a static shields.io badge with the information added by the ContentDB redirect: https://github.com/minetest/contentdb/blob/master/app/blueprints/packages/packages.py#L195-L198

[Zughy]

Fun fact: in Italian, we use commas as floating points and dots as thousands. So if I see a number like 2,305, I read it as 2 (int) and 305 (decimals). Probably Italian is not the only one, so I'd say that the translator should be able to edit the format as well

[sfan5]

German does this too.
If we don't want to mess with i18n I think a safe compromise is 1 234 546 downloads

[Zughy]

Some languages like Japanese might count in blocks of four https://japanese.stackexchange.com/questions/16241/is-there-a-reason-why-numbers-in-japanese-are-delimited-into-blocks-of-four