Aha, that's news to me. I wasn't aware of that page. In that case, all we
need is to document somewhere (perhaps the README) which languages we
picked. I don't think we need all of them. We can tune it based on feedback.

Of course, it still makes some sense to be able to automate the download.
If the URL is hot linkable, that will do.