User manual: Mention TeX in the list of supported output formats