Documentation for tex-semaphor.