Documentation for tex-checkend
