Files in the top-level directory of check-in 7ecd9f43d7ed057b