Revert "Merge branch 'compileHTML'"

This reverts commit 682a0c7955fe07803545e9e2f27fccf806f05c8b, reversing
changes made to 825d93f00c25362d7100c7f1d4ae39528c60b308.