Add download.json, completing issue #4.