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