Files in the top-level directory of check-in 703e7f100e8fc79d