Update html5semantic.json