Update doc/mainpage.dox