3 ms·Not a big deal, but it's generally "Tcl" these days, not TCL.by davidw 6y agoNot a big deal, but it's generally "Tcl" these days, not TCL.