[html5-diff] Update section 5.3 and 5.4.