Edge: nuovo menu per le estensioni

Edge: le caratteristiche del nuovo menù delle estensioni. Come attivarlo e quali saranno le funzionalità future.