Documentation for tex-lkproof
