Please add permanently moved for old doxygen pages
Google still lists loads of links to the documentation of our old site which now lead to an 404 not found error. It would be very handy (for us and others) to tell the webserver that everything under https://www.dune-project.org/doc/doxygen/html/ can now be found below https://www.dune-project.org/doxygen/master