Is there a way to programmatically get a download link for an extension if you have the extension name and version of MediaWiki? E.g. for Wikispeech and MW 1.39 this would (currently) be https://extdist.wmflabs.org/dist/extensions/Wikispeech-REL1_39-5dc08c9.tar.gz. It's the hash(?) a the end that makes it tricky.