Manpages of tcl in Debian stretch