Whichever number we provide will go out of date at some point. It's extra maintenance, and if we only put a rough number (e.g. 100k+) then it's not really meaningful in my opinion. Alternatively, we could point at the web index of the packages. E.g. - Pypi: https://pypi.org/ - Gauche: http://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3aPackages etc. -- Pierre Neidhardt https://ambrevar.xyz/