Update html-spec.md