explicitly set more HTML5 validator options

Avoids any reliance upon unwanted/unintended autodetection for these settings.