Files in doc/ of c740ba0cb88234ec

Files in directory /doc of check-in c740ba0cb88234ec