Files in the top-level directory of check-in 507ee45f259f1aed