Use HTML5. Fix #8470