[m] Lots of Doxygen fixes