Deal with comments.
New render-tstp.xsl.