Zijn Web Workers onderdeel van de specificatie HTML5?

Ja. Web Workers maken deel uit van de Web Workers-specificatie, die oorspronkelijk deel uitmaakte van de HTML5-specificatie.