(Extensions) Have an extensions repository *VW*
Extensions should be accessible through a repository, like an apt repository.
Inform 7 should automatically download and install any extensions it needs but doesn't have, while keeping all old versions accessible.
This is in progress.
Eric, that is a separate suggestion, and one which is already planned for the next version: http://inform7.uservoice.com/forums/57320-general/suggestions/751944-version-control-extensions-automatic-archiving-o
Eric Fð commented
A repository would be great, but I think it would be even more effective to be able to keep within the project's Material folder the various extensions which are used in a game. This way it would be easier to work on a project from several machines.