Dan Andreescu, 23/03/2016 15:58:
*Clean-up:* Analytics data on dumps was crammed into /other with
unrelated datasets. We made a new page to receive current and future
datasets [3] and linked to it from /other and /. Please let us know if
anything there looks confusing or opaque and I'll be happy to clarify.
I assume the old URLs will redirect to the new ones, right?
Nemo