Documentation for tex-typehtml
