added github link to html manuals
github web manuals have covers