Are service workers part of the HTML5 specification?

No, Service Workers are not part of the HTML5 specification. They are a separate specification developed by the WHATWG, and they relate to the web platform API used to extend the functionality of web applications. HTML5 describes the structure and syntax of HTML, while Service Workers provide capabilities for managing network requests, caching, and background synchronization.