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