Editing Doxygen mainpage