diff --git a/builtin/settingtypes.txt b/builtin/settingtypes.txt
index ddb0afacd..0d382df70 100644
--- a/builtin/settingtypes.txt
+++ b/builtin/settingtypes.txt
@@ -166,10 +166,6 @@ keymap_cmd (Command key) key /
 #    See http://irrlicht.sourceforge.net/docu/namespaceirr.html#a54da2a0e231901735e3da1b0edf72eb3
 keymap_cmd_local (Command key) key .
 
-#    Key for opening the chat console.
-#    See http://irrlicht.sourceforge.net/docu/namespaceirr.html#a54da2a0e231901735e3da1b0edf72eb3
-keyman_console (Console key) key KEY_F10
-
 #    Key for toggling unlimited view range.
 #    See http://irrlicht.sourceforge.net/docu/namespaceirr.html#a54da2a0e231901735e3da1b0edf72eb3
 keymap_rangeselect (Range select key) key KEY_KEY_R
diff --git a/minetest.conf.example b/minetest.conf.example
index 79f7f68f9..52f8eef71 100644
--- a/minetest.conf.example
+++ b/minetest.conf.example
@@ -161,11 +161,6 @@
 #    type: key
 # keymap_cmd_local = .
 
-#    Key for opening the chat console.
-#    See http://irrlicht.sourceforge.net/docu/namespaceirr.html#a54da2a0e231901735e3da1b0edf72eb3
-#    type: key
-# keyman_console = KEY_F10
-
 #    Key for toggling unlimited view range.
 #    See http://irrlicht.sourceforge.net/docu/namespaceirr.html#a54da2a0e231901735e3da1b0edf72eb3
 #    type: key