Files in the top-level directory of check-in 0b316b136cd99b6a