Port needed for Hyperlatex, a LaTeX add-in.
State Changed From-To: open->closed New port committed, thanks!