Files in the top-level directory of check-in 5432f7f2a5d0a600