The new HTML writer solves some long-standing TODO issues.