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