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