Files in doc/ of 2b4e85a3ebcf1da1

Files in directory /doc of check-in 2b4e85a3ebcf1da1