Files in the top-level directory of check-in 023be319b7f2ca79