Updated HTML documentation from Git commit 688f8132413bbfbe981c18d3b420f3c583d8c8ac