Hi all!
For a while now, we’ve been hosting some public datasets at http://stat1001.wikimedia.org/public-datasets. We wanted to dissociate the domain that these datasets were hosted at from the actual server name, so, we did! The same data is now available at http://datasets.wikimedia.org. Redirects from stat1001.wikimedia.org are in place.
Let us know if you have any trouble.
Thanks!
-Ao