Followup: Issue #1913692 by mgifford: Convert Seven to HTML5.