Same problem. Overall, I wish there was a more detailed version of the Download section. All the Anki downloads that we add to our decks should be re-downloadable there.