mainly doxygen changes, except mima where the big conversion started now. mima NOT USEFUL in this commit