Update and restructure the developer manual.
In the developer manual section, the table of contents is repeated in each section and subsection. This is not a show-stopper, but doesn't look very nice and should be cleaned up at some point.
So far, Sarina and I changed the \section,\subsection to headings <h1>, <h2,>..., such that the table of contents doesn't have too much depth (which is confusing to navigate through). However, the more sensible way would be to keep the \section structure and instead adjust the depth of the doxygen TOC_INCLUDE_HEADINGS. The default depths is 5.