Ich kenne zumindest die Seiten, derer sich diese Addons bedienen, sind ja die vom W3C bereitgestellten... Nur stellt sich mir die Frage ob diese Addons auch in der Lage sind, den Validierungsvorgang für lokale Seiten zu starten. Zudem ist die W3C Prüfung nur rudimentär und das reicht mir persönlich nicht.
Da kann der Total Validator wesentlich mehr
Er prüft z.B. eingebundene Sources auf Existenz und kann die diversen Stufen der WCAG checken. Ich denke sowas sollte kein Webentwickler vernachlässigen
Außerdem ist mir noch kein Firefox 4 Addon bekannt, das auch HTML5 validieren kann. Wird sicherlich bald kommen, aber solange muss man ja nicht warten.