What happens when they remove an extension and people have installed it? Does the installed extension get disabled somehow?