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