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