Use MDFILE_AS_MAINPAGE in Doxygen to avoid ugly GitHub header.