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