[html5-diff] Update section 5.5 and 5.6.