FAQ: add a note about HTML Tidy for HTML5.