Files in doc/ of 6d3664930c9b9996

Files in directory /doc of check-in 6d3664930c9b9996