diff --git a/data.json b/data.json
index 0b20da601c..ffb0bd2055 100644
--- a/data.json
+++ b/data.json
@@ -4889,6 +4889,14 @@
             "root": "caption"
         }
     },
+    "carburetor": {
+        "linux": {
+            "root": "carburetor",
+            "symlinks": [
+                "io.frama.tractor.carburetor"
+            ]
+        }
+    },
     "cardinal": {
         "linux": {
             "root": "cadinal",
diff --git a/icons/circle/48/carburetor.svg b/icons/circle/48/carburetor.svg
new file mode 100644
index 0000000000..639bd150b6
--- /dev/null
+++ b/icons/circle/48/carburetor.svg
@@ -0,0 +1,17 @@
+<svg version="1.1" viewBox="0 0 48 48" xmlns="http://www.w3.org/2000/svg">
+ <defs>
+  <linearGradient id="bg" x2="0" y1="1" y2="47" gradientUnits="userSpaceOnUse">
+   <stop style="stop-color:#7d4698" offset="0"/>
+   <stop style="stop-color:#73408c" offset="1"/>
+  </linearGradient>
+ </defs>
+ <path d="m36.3 5c5.86 4.06 9.69 10.8 9.69 18.5 0 12.4-10.1 22.5-22.5 22.5-7.67 0-14.4-3.83-18.5-9.69 1.04 1.82 2.31 3.5 3.78 4.97 4.08 3.71 9.51 5.97 15.5 5.97 12.7 0 23-10.3 23-23 0-5.95-2.26-11.4-5.97-15.5-1.47-1.48-3.15-2.74-4.97-3.78zm4.97 3.78c3.85 4.11 6.22 9.64 6.22 15.7 0 12.7-10.3 23-23 23-6.08 0-11.6-2.36-15.7-6.22 4.16 4.14 9.88 6.72 16.2 6.72 12.7 0 23-10.3 23-23 0-6.34-2.58-12.1-6.72-16.2z" style="opacity:.05"/>
+ <path d="m41.3 8.78c3.71 4.08 5.97 9.51 5.97 15.5 0 12.7-10.3 23-23 23-5.95 0-11.4-2.26-15.5-5.97 4.11 3.85 9.64 6.22 15.7 6.22 12.7 0 23-10.3 23-23 0-6.08-2.36-11.6-6.22-15.7z" style="opacity:.1"/>
+ <path d="m31.2 2.38c8.62 3.15 14.8 11.4 14.8 21.1 0 12.4-10.1 22.5-22.5 22.5-9.71 0-18-6.14-21.1-14.8a23 23 0 0044.9-7 23 23 0 00-16-21.9z" style="opacity:.2"/>
+ <circle cx="24" cy="24" r="23" style="fill:url(#bg)"/>
+ <path d="m40 7.53c3.71 4.08 5.97 9.51 5.97 15.5 0 12.7-10.3 23-23 23-5.95 0-11.4-2.26-15.5-5.97 4.18 4.29 10 6.97 16.5 6.97 12.7 0 23-10.3 23-23 0-6.46-2.68-12.3-6.97-16.5z" style="opacity:.1"/>
+ <path d="m10 24v2l3.2 1.33 0.414 1.54-2.1 2.64 1.1 1.91 3.33-0.504 1.13 1.13-0.504 3.33 1.91 1.1 2.64-2.1 1.54 0.414 1.33 3.2h1v-1c7.73 0 14-6.27 14-14s-6.27-14-14-14zm15-11c6.63 0 12 5.37 12 12s-5.37 12-12 12v-3c4.97 0 9-4.03 9-9s-4.03-9-9-9zm0 5c3.87 0 7 3.13 7 7s-3.13 7-7 7v-3c-2.21 0-4-1.79-4-4s1.79-4 4-4zm0 3v8c2.21 0 4-1.79 4-4s-1.79-4-4-4z" style="opacity:.1"/>
+ <path d="m24 10-1 1 1 1c6.63 0 12 5.37 12 12s-5.37 12-12 12l-1 1 1 1c7.73 0 14-6.27 14-14s-6.27-14-14-14zm0 5-1 1 1 1c3.87 0 7 3.13 7 7s-3.13 7-7 7l-1 1 1 1c4.97 0 9-4.03 9-9s-4.03-9-9-9zm0 5v8c2.21 0 4-1.79 4-4s-1.79-4-4-4z" style="fill:#f9f9f9"/>
+ <path d="m23 9-1.33 3.2-1.54 0.414-2.64-2.1-1.91 1.1 0.504 3.33-1.13 1.13-3.33-0.504-1.1 1.91 2.1 2.64-0.414 1.54-3.2 1.33v2l3.2 1.33 0.414 1.54-2.1 2.64 1.1 1.91 3.33-0.504 1.13 1.13-0.504 3.33 1.91 1.1 2.64-2.1 1.54 0.414 1.33 3.2h1v-11a4 4 0 0 1-4-4 4 4 0 0 1 4-4v-11h-1z" style="fill:#bea6c9"/>
+ <path d="m24 10v2c0.337 0 0.67 0.0176 1 0.0449v-2.01c-0.331-0.0234-0.663-0.0391-1-0.0391zm0 5v2c0.34 0 0.673 0.0255 1 0.0723v-2.02c-0.329-0.0363-0.662-0.0566-1-0.0566zm1 15.9c-0.327 0.0467-0.66 0.0723-1 0.0723v2c0.338 0 0.671-0.0203 1-0.0566v-2.02zm0 5.03c-0.33 0.0273-0.663 0.0449-1 0.0449v2c0.337 0 0.669-0.0157 1-0.0391v-2.01z" style="opacity:.1"/>
+</svg>
diff --git a/icons/square/48/carburetor.svg b/icons/square/48/carburetor.svg
new file mode 100644
index 0000000000..617a10ed3b
--- /dev/null
+++ b/icons/square/48/carburetor.svg
@@ -0,0 +1,16 @@
+<svg version="1.1" viewBox="0 0 48 48" xmlns="http://www.w3.org/2000/svg">
+ <defs>
+  <linearGradient id="bg" x2="0" y1="1" y2="47" gradientUnits="userSpaceOnUse">
+   <stop style="stop-color:#7d4698" offset="0"/>
+   <stop style="stop-color:#73408c" offset="1"/>
+  </linearGradient>
+ </defs>
+ <path d="m1 43v.25c0 2.22 1.78 4 4 4h38c2.22 0 4-1.78 4-4v-.25c0 2.22-1.78 4-4 4h-38c-2.22 0-4-1.78-4-4zm0 .5v.5c0 2.22 1.78 4 4 4h38c2.22 0 4-1.78 4-4v-.5c0 2.22-1.78 4-4 4h-38c-2.22 0-4-1.78-4-4z" style="opacity:.02"/>
+ <path d="m1 43.2v.25c0 2.22 1.78 4 4 4h38c2.22 0 4-1.78 4-4v-.25c0 2.22-1.78 4-4 4h-38c-2.22 0-4-1.78-4-4z" style="opacity:.05"/>
+ <path d="m1 43v.25c0 2.22 1.78 4 4 4h38c2.22 0 4-1.78 4-4v-.25c0 2.22-1.78 4-4 4h-38c-2.22 0-4-1.78-4-4z" style="opacity:.1"/>
+ <rect x="1" y="1" width="46" height="46" rx="4" style="fill:url(#bg)"/>
+ <path d="m1 39v4c0 2.22 1.78 4 4 4h38c2.22 0 4-1.78 4-4v-4c0 2.22-1.78 4-4 4h-38c-2.22 0-4-1.78-4-4z" style="opacity:.1"/>
+ <path d="m20.1 12.6-2.64-2.1-1.91 1.1 0.504 3.33-1.13 1.13-3.33-0.504-1.1 1.91 2.1 2.64-0.414 1.54-3.2 1.33v2l3.2 1.33 0.414 1.54-2.1 2.64 1.1 1.91 3.33-0.504 1.13 1.13-0.504 3.33 1.91 1.1 2.64-2.1 1.54 0.414 1.33 3.2h1v-1c7.73 0 14-6.27 14-14s-6.27-14-14-14zm3.88-0.615c6.63 0 12 5.37 12 12s-5.37 12-12 12v-3c4.97 0 9-4.03 9-9s-4.03-9-9-9zm0 5c3.87 0 7 3.13 7 7s-3.13 7-7 7v-3c-2.21 0-4-1.79-4-4s1.79-4 4-4zm0 3v8c2.21 0 4-1.79 4-4s-1.79-4-4-4z" style="opacity:.1"/>
+ <path d="m24 9-1 1 1 1c6.63 0 12 5.37 12 12s-5.37 12-12 12l-1 1 1 1c7.73 0 14-6.27 14-14s-6.27-14-14-14zm0 5-1 1 1 1c3.87 0 7 3.13 7 7s-3.13 7-7 7l-1 1 1 1c4.97 0 9-4.03 9-9s-4.03-9-9-9zm0 5v8c2.21 0 4-1.79 4-4s-1.79-4-4-4z" style="fill:#f9f9f9"/>
+ <path d="m23 8-1.33 3.2-1.54 0.414-2.64-2.1-1.91 1.1 0.504 3.33-1.13 1.13-3.33-0.504-1.1 1.91 2.1 2.64-0.414 1.54-3.2 1.33v2l3.2 1.33 0.414 1.54-2.1 2.64 1.1 1.91 3.33-0.504 1.13 1.13-0.504 3.33 1.91 1.1 2.64-2.1 1.54 0.414 1.33 3.2h1v-11a4 4 0 0 1-4-4 4 4 0 0 1 4-4v-11z" style="fill:#bea6c9"/>
+</svg>