diff --git a/makefiles/deprecated_modules.inc.mk b/makefiles/deprecated_modules.inc.mk
index 3739b85ddf..4506b62a12 100644
--- a/makefiles/deprecated_modules.inc.mk
+++ b/makefiles/deprecated_modules.inc.mk
@@ -1,6 +1,5 @@
 # Add deprecated modules here
 # Keep this list ALPHABETICALLY SORTED!!!!111elven
-DEPRECATED_MODULES += random_cmd # use shell_cmd_random instead
 DEPRECATED_MODULES += sema_deprecated
 DEPRECATED_MODULES += sha1sum # use shell_cmd_sha1sum instead
 DEPRECATED_MODULES += sha256sum # use shell_cmd_sha256sum instead
diff --git a/makefiles/pseudomodules.inc.mk b/makefiles/pseudomodules.inc.mk
index 399242129d..d89df50798 100644
--- a/makefiles/pseudomodules.inc.mk
+++ b/makefiles/pseudomodules.inc.mk
@@ -344,13 +344,6 @@ PSEUDOMODULES += psa_riot_hashes_sha_256
 PSEUDOMODULES += psa_riot_hashes_sha_512
 PSEUDOMODULES += psa_riot_hashes_hmac_sha256
 PSEUDOMODULES += fortuna_reseed
-## @defgroup pseudomodule_random_cmd random_cmd
-## @ingroup sys_shell_commands
-## @{
-## @deprecated  Use module `shell_cmd_random` instead;
-##              will be removed after 2023.07 release.
-PSEUDOMODULES += random_cmd
-## @}
 PSEUDOMODULES += riotboot_%
 PSEUDOMODULES += rtt_cmd
 PSEUDOMODULES += saul_adc
diff --git a/sys/Makefile.dep b/sys/Makefile.dep
index d495a9d101..fdf3a8c8bd 100644
--- a/sys/Makefile.dep
+++ b/sys/Makefile.dep
@@ -267,10 +267,6 @@ ifneq (,$(filter sha256sum,$(USEMODULE)))
   USEMODULE += shell_cmd_sha256sum
 endif
 
-ifneq (,$(filter random_cmd,$(USEMODULE)))
-  USEMODULE += shell_cmd_random
-endif
-
 ifneq (,$(filter shell_commands,$(USEMODULE)))
   # shell_commands has been renamed to shell_cmds_default, but let's keep this
   # for backward compatibility
diff --git a/sys/shell/doc.txt b/sys/shell/doc.txt
index c43fdc8bac..f6027b8459 100644
--- a/sys/shell/doc.txt
+++ b/sys/shell/doc.txt
@@ -20,7 +20,7 @@ modules, if it exists.
 
 A few rarely needed shell commands that needs to be used in addition to the
 `shell_commands` and the module providing the C-API. Examples include
-`shell_cmd_nice`, `shell_cmd_gnrc_udp`, or `random_cmd`.
+`shell_cmd_nice`, `shell_cmd_gnrc_udp`, or `shell_random_cmd`.
 Consult the documentation of the modules to find out whether they have a
 shell integration and how to enable it.
  */