html: remove redundant link to github site
treeec74af91e61bda8b8cbc47e2335deba2e0ad25c1
-rw-r--r-- 105 .gitattributes
-rw-r--r-- 469 .gitignore
-rw-r--r-- 798 .mailmap
-rw-r--r-- 1898 AUTHORS
-rw-r--r-- 18398 COPYING
drwxr-xr-x - Documentation
-rw-r--r-- 7300 INSTALL
-rw-r--r-- 3263 README
-rw-r--r-- 853 REPORTING-BUGS
-rw-r--r-- 1978 TODO
-rw-r--r-- 6 VERSION
drwxr-xr-x - contrib
drwxr-xr-x - src