Files in the top-level directory of check-in 54cfae3e62f7c232