Revert "Add new add-in repository, replacing wonky old one"

This reverts commit f7428577f98dee290a2efc911a761b3c60271ccc.

The reason is that this commit deleted some of the code for platform-specific
addin repos, which we want to have after all.
Make new addin repo respect platforms