TeX extension writing HINT output for on-screen reading
