diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 2c7cba0..1b87ca4 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -8,7 +8,6 @@
     "brainrape",
     "costrouc",
     "danieldk",
-    "edef1c",
     "Ekleog",
     "ElvishJerricco",
     "Enzime",
diff --git a/config.public.json b/config.public.json
index 5ef75ff..7e17fc1 100644
--- a/config.public.json
+++ b/config.public.json
@@ -31,6 +31,7 @@
             "dotlambda",
             "dtzwill",
             "dywedir",
+            "edef1c",
             "edolstra",
             "ekleog",
             "ericson2314",