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