Files in the top-level directory of check-in 8a1f710feea53e60