Además, se ha rediseñado completamente el entorno (interfaz de usuario), y se ha mejorado el gestor de extensiones.