W3C published editorialized snapshots of WHATWG HTML5 specs only until 2017; they're now just redirecting to WHATWG github's HEAD. SVG2 (part of HTML5) has reached CR status in 2018, and ended up to include only minor amendments vs 1.1/1.2 anyway.
W3C is mostly involved in CSS specs today, with significant influence on this past decade's advances, and also source of a lot of the complexity of browsers. CSS is a primary candidate for a formal spec among web standards IMO, since HTML5 the markup language is sufficiently covered by either the procedural spec or SGML.