Files in doc/ of fa2710a06cfc3e3d

Files in directory /doc of check-in fa2710a06cfc3e3d