Documentation for tex-lkproof.
