Files in the top-level directory of check-in 780a9c9c43e5fe4f