Files in doc/ of bfb516156caa047b

Files in directory /doc of check-in bfb516156caa047b