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