Documentation for tex-platex-tools.