Files in the top-level directory of check-in 40a9bd05a550f68c