index: Misc doc changes
treeb913817670f2af64298c8e2498d54dbb899ce7b3
-rw-r--r-- 18787 COPYING
drwxr-xr-x - cogito
drwxr-xr-x - course
-rw-r--r-- 164 favicon.png
-rw-r--r-- 275 git-logo.png
-rw-r--r-- 14548 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 723 update.sh