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