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