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