Update 5.1.2-HTML5.tex

手動マージ