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