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