I wonder if we should call this domain "extensionManager" or "extensionInstaller" or some such.