[html5-diff] Update section 5.1 and 5.2.