currently the `\mainpage` content doesn't end up in the markdown output. it would be nice to have all the doc in the source files...