Die Einstellungen für Plugins (Erweiterungen) ermöglichen es, vorhandene Plugins zu verwalten, sowie neue Plugins zu installieren.