Documentation for tex-dejavu
