Added option to turn Extension Manager off.