Tweak mainpage.dox