Folks who use the Wikimedia projects may have heard that a url shortener is
now available for them . We now dump a list of the urls and their
shortcuts once a week. The first such dump is available for download
already . It's been a long time coming. Enjoy!