Files in the top-level directory of check-in baa2c2f19a2b3a7f