Files in doc/ of 50c71137cbbe418e

Files in directory /doc of check-in 50c71137cbbe418e