Filled out mainpage.dox