Generated by tools/export-coduo-server.sh.
Only files listed in .coduo-export-manifest are managed by the exporter.
