Files in doc/ of 512884129297c598

Files in directory /doc of check-in 512884129297c598