Does anyone know of an explanation for why an extension would deploy but not appear in the Extension Manager?