rolled back mistaken HTML5 change