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