Revert "Revert "Merge branch 'compileHTML'""

This reverts commit 773b3c395c41ef17fba1b32deaf95e7e58d7e65b.