Files in doc/ of e514e3a5e39ddff9

Files in directory /doc of check-in e514e3a5e39ddff9