Tcl_HideCommand(3tcl) on Linux

The text d7fec8324aa9, as Debian 10 (Buster) shipped it.

manage multiple Tcl interpreters, aliases and hidden commands

Tcl_HideCommand(3tcl) on Linux now