Profilist aggiunge un manager per i profili del browser all’interfaccia di Firefox