Fix a numbered list that triggered markdown
Simplify navigation through the docs: don't mix @section and @subpage.
Fix compatibility with newer versions of doxygen.