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