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