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