audit-server.tex was omitted in the report.