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