Documentation for tex-dejavu.