(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.
The “public library” feature is now available within the Mac app, and forthcoming for the other applications.
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.