(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.
A volunteer project to improve extension management is under way, which will address at least part of this requirement (I am not sure that automatic updating will occur, given the complexity of working out which extensions are needed, but we will see.)
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.