Thread:Project:Current issues/Can't download extensions/reply (3)

ExtensionDistributor has a lot of problems. In the future, it's always easier to download from git.