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