I Web Workers fanno parte della specifica HTML5?

Sì. I Web Workers fanno parte della specifica Web Workers, che originariamente faceva parte della specifica HTML5.