Add links to top-level pages in HTML version of the mainpage