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