Files in the top-level directory of check-in e1efcc14ef946e67