Files in doc/ of ce307ddd1f55cfb7

Files in directory /doc of check-in ce307ddd1f55cfb7