Files in doc/ of cf3d49b26bca6392

Files in directory /doc of check-in cf3d49b26bca6392