Rebuild html documentation from commit c7f5e20dac4cb94df73cf5d2138666efd6322e63 using Doxygen 1.8.6