add link to technical manual and manpages in index.html