Files in the top-level directory of check-in 6da22f423b4dea6c