Mainpage and doc tweaks