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