Move docs/mainpage.txt to here