Qualcuno ricorda come si fa per estrarre un estensione per mozilla gia presente per utilizzare su altro browser ?