Revert "Eliminate HTML5 elements"