Refreshed Doxygen HTML