Remove translations of the settings strings.

apps/remix-ide/src/app/tabs/locales/es/settings.json

@@ -17,9 +17,6 @@
   "settings.etherscanTokenTitle": "Token de Acceso de EtherScan",
   "settings.etherscanAccessTokenText": "Administra la clave api usada para interactuar con Etherscan.",
   "settings.etherscanAccessTokenText2": "Vaya a la página de claves api de Etherscan (enlace abajo) para crear una nueva clave api y guardarla en Remix.",
-  "settings.sindriAccessTokenTitle": "Credenciales de Sindri",
-  "settings.sindriAccessTokenText": "El token de acceso se utiliza para compilar circuitos ZKP y generar pruebas con Sindri.",
-  "settings.sindriAccessTokenText2":"Vaya a la página de creación de cuentas de Sindri (enlace abajo) para crear un nuevo token y guardarlo en Remix.",
   "settings.save": "Guardar",
   "settings.remove": "Eliminar",
   "settings.themes": "Temas",

apps/remix-ide/src/app/tabs/locales/fr/settings.json

@@ -17,9 +17,6 @@
   "settings.etherscanTokenTitle": "Token d'accés Etherscan",
   "settings.etherscanAccessTokenText": "Gérer la clé api utilisée pour interagir avec Etherscan.",
   "settings.etherscanAccessTokenText2": "Allez sur la page de clé Etherscan api (lien ci-dessous) pour créer une nouvelle clé api et l'enregistrer dans Remix.",
-  "settings.sindriAccessTokenTitle": "Identifiants Sindri",
-  "settings.sindriAccessTokenText": "Le jeton d'accès est utilisé pour compiler les circuits ZKP et générer des preuves avec Sindri.",
-  "settings.sindriAccessTokenText2":"Allez à la page de création de compte Sindri (lien ci-dessous) pour créer un nouveau jeton et l'enregistrer dans Remix.",
   "settings.save": "Sauvegarder",
   "settings.remove": "Supprimer",
   "settings.themes": "Thèmes",

apps/remix-ide/src/app/tabs/locales/it/settings.json

@@ -17,9 +17,6 @@
   "settings.etherscanTokenTitle": "Token di accesso a Etherscan",
   "settings.etherscanAccessTokenText": "Gestione della chiave api utilizzata per interagire con Etherscan.",
   "settings.etherscanAccessTokenText2": "Vai alla pagina delle chiavi api di Etherscan (link in basso) per creare una nuova chiave api e salvarla in Remix.",
-  "settings.sindriAccessTokenTitle": "Credenziali Sindri",
-  "settings.sindriAccessTokenText": "Il token di accesso è utilizzato per compilare circuiti ZKP e generare prove con Sindri.",
-  "settings.sindriAccessTokenText2":"Vai alla pagina di creazione dell'account Sindri (link qui sotto) per creare un nuovo token e salvarlo in Remix.",
   "settings.save": "Salva",
   "settings.remove": "Rimuovi",
   "settings.themes": "Temi",

apps/remix-ide/src/app/tabs/locales/zh/settings.json

@@ -17,9 +17,6 @@
   "settings.etherscanTokenTitle": "EtherScan 访问 Token",
   "settings.etherscanAccessTokenText": "管理用于与Etherscan交互的api密钥.",
   "settings.etherscanAccessTokenText2": "前往 Etherscan api 密钥页面 (参见下方链接)，创建一个新的api密钥并保存到Remix中.",
-  "settings.sindriAccessTokenTitle": "Sindri 凭证",
-  "settings.sindriAccessTokenText": "访问令牌用于使用 Sindri 编译 ZKP 电路和生成证明。",
-  "settings.sindriAccessTokenText2":"转到 Sindri 账户创建页面（下方链接），创建新令牌并将其保存在 Remix 中。",
   "settings.save": "保存",
   "settings.remove": "删除",
   "settings.themes": "主题",