diff --git a/config.known-users.json b/config.known-users.json
index e169381..c2588bb 100644
--- a/config.known-users.json
+++ b/config.known-users.json
@@ -34,7 +34,6 @@
       "dguibert",
       "disassembler",
       "domenkozar",
-      "dotlambda",
       "dtzwill",
       "dywedir",
       "edef1c",
diff --git a/config.public.json b/config.public.json
index 831cf56..6ace5d6 100644
--- a/config.public.json
+++ b/config.public.json
@@ -26,6 +26,7 @@
             "dezgeg",
             "disassembler",
             "domenkozar",
+            "dotlambda",
             "dtzwill",
             "edolstra",
             "ericson2314",