არის თუ არა სერვისის მუშაკები HTML5-ის სპეციფიკის ნაწილი?

Нет, Service Workers не являются частью спецификации HTML5.

Они входят в отдельную спецификацию Web Workers, которая развивалась параллельно с HTML5. Service Workers представляют собой специализированный тип веб-воркеров, работающий как прокси между браузером и сетью.