Use html5 release.

Installed with --no-optional to remove jsdom.

Change-Id: I700e640dd69c0cbdcec4859a01d9a1c5c40fbe24