Run HTML5 tidy over the spec