Files in doc/ of e6d7dec8c0ab3a35

Files in directory /doc of check-in e6d7dec8c0ab3a35