Hi, what do you think- should this be implemented before the new extension manager is released? I think this solution can be used in combination with all the other ones (private repository, "signed extensions", ...), and it gives most control to the developer who has access to the install tool. Sebastian