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