Documentation for tex-ebproof.