Diff doxygen-1.9.8 with a doxygen-9999

Thank you!