Files in directory /doc of check-in ff9c41a8dda7d784