Doxygen comments: don't use @mainpage (this is reserved for a index page for...

Doxygen comments: don't use @mainpage (this is reserved for a index page for *all* contrib modules), but @defgroup/@ingroup grouping.