Rebuild html documentation from commit 52881967592bd48e9226525e5d65d96eefb5a7a7 using Doxygen 1.8.8