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