Make Extensions manager support zipped extensions and multiple repositories (local, github)