Files in docs/ of tip

Files in directory /docs from the latest check-in