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