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