Tcl_GetOpenFile(3tcl) on Linux

The text a0beb09ddf1f, as Debian 3.0 (Woody) shipped it.

Get a standard IO File * handle from a channel. (Unix only)

Tcl_GetOpenFile(3tcl) on Linux now