The smallest valid HTML5 document