I could not find tex_scale documented in the wdlman.pdf dated jan 2002. What does it do?