Files in the top-level directory of check-in 65f7b258f5a3ee4c