Files in the top-level directory of check-in 3f100ce3c0a3e77f