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