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