Improve comment and add <application> tags around TeX and LaTeX so
that the stylesheets know exactly what to look for and can render this
specially for print output.