mainpage.dox: fixed links (#664)