Update mainpage.dox