Documentation for tex-lkproof.