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