Tweaks for the "Whole HTML Validation" feature: