Files in the top-level directory of check-in 5cfa1de12ea6e7ef