What would be the best way of going about downloading these? Is there a machine-parseable index?