More work on ir-tcl.sgml.