Revert harness_extension.html