diff --git a/config.public.json b/config.public.json
index e379dc8..ae0d249 100644
--- a/config.public.json
+++ b/config.public.json
@@ -32,6 +32,7 @@
             "dezgeg",
             "disassembler",
             "domenkozar",
+            "doronbehar",
             "dotlambda",
             "dtzwill",
             "dywedir",